by Jorg H. Siekmann
Hardcover
ISBN: 978-0-387-12044-7
ISBN-10: 0-387-12044-0
Springer Verlag · 1983
|
|
by Jorg H. SiekmannHardcover
ISBN: 978-0-387-12044-7 ISBN-10: 0-387-12044-0 Springer Verlag · 1983 |
| See also (possibly by other authors): | ||
| 1983 | Gebundene Ausgabe | Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation) |
| 1983 | Taschenbuch | Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation) |