A computational logic handbook

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Robert S Boyer,J Strother Moore
Μορφή: Printed Book
Γλώσσα:English
Έκδοση: Academic Press 1988
Περιγραφή
Φυσική περιγραφή:408
ISBN:0-12-122952-1

Παρόμοια τεκμήρια