by: Jorg H. Siekmann · Graham Wrightson
Hardcover
ISBN: 978-0-387-12043-0
ISBN-10: 0-387-12043-2
Springer Verlag · 1983
|
|
by: Jorg H. Siekmann · Graham WrightsonHardcover
ISBN: 978-0-387-12043-0 ISBN-10: 0-387-12043-2 Springer Verlag · 1983 |
| See also (possibly by other authors): | ||
| 1983 | Taschenbuch | Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation) |
| 1983 | Gebundene Ausgabe | Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation) |