von Jörg H. Siekmann
Taschenbuch
EAN=ISBN-13: 978-3-642-81954-4
ISBN-10: 3-642-81954-0
Springer-Verlag · 1983
|
|
von Jörg H. SiekmannTaschenbuch
EAN=ISBN-13: 978-3-642-81954-4 ISBN-10: 3-642-81954-0 Springer-Verlag · 1983 |
| S. auch: | ||
| 1983 | Gebundene Ausgabe | Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation) |
| 1983 | Gebundene Ausgabe | Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation) |