Logic for Computer Science : Foundations of Automatic Theorem Proving
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
New York :
John Wiley,
c1987
|
| Σειρά: | Harper & Row computer science and technology series
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Περιγραφή τεκμηρίου: | Includes bibliographical references and indexes |
|---|---|
| Φυσική περιγραφή: | 511 p.; 23 cm. |
| ISBN: | 0-471-61546-3 |