Φορτώνει......
Logic for computer science: foundations of automatic theorem proving
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Printed Book |
| Έκδοση: |
New York, John Wiley & Sons, Inc
1987
|
| Θέματα: |
MG University
| Ταξιθετικός Αριθμός: |
511.3 M7 |
|---|---|
| Αντίγραφο | Η τρέχουσα κατάσταση είναι άγνωστη |