First-order logic and automated theorem proving /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Greek |
| Έκδοση: |
New York :
Springer,
c1990.
|
| Σειρά: | Text and monographs in computer science
|
| Θέματα: |
Search Result 1
