by D. M. Sandford
Paperback
ISBN: 978-0-387-10231-3
ISBN-10: 0-387-10231-0
Springer Verlag · 1981
|
|
by D. M. SandfordPaperback
ISBN: 978-0-387-10231-3 ISBN-10: 0-387-10231-0 Springer Verlag · 1981 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science, Band 90) |