Φορτώνει......
Logic for computer science : foundations of automatic theorem proving /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Printed Book |
| Γλώσσα: | English |
| Έκδοση: |
New York :
Dover,
2015
|
| Έκδοση: | 2nd ed. |
| Θέματα: |
University of Calicut
| Ταξιθετικός Αριθμός: |
511.360285 GAL/L |
|---|---|
| Αντίγραφο | Η τρέχουσα κατάσταση είναι άγνωστη |