Llwytho...
Logic for computer science : Foundations of Automatic Theorem proving/
| Prif Awdur: | |
|---|---|
| Fformat: | Printed Book |
| Iaith: | English |
| Cyhoeddwyd: |
John Wiley & Sons,
1987.
|
University of Calicut
| Rhif Galw: |
68 GAL |
|---|---|
| Copi | Nid yw'r Statws Byw ar Gael |