von Jörg H. Siekmann
Taschenbuch
ISBN: 978-3-642-81957-5
ISBN-10: 3-642-81957-5
Springer-Verlag · 1983
|
|
von Jörg H. SiekmannTaschenbuch
ISBN: 978-3-642-81957-5 ISBN-10: 3-642-81957-5 Springer-Verlag · 1983 |
| S. auch (eventuell von anderen Autoren): | ||
| 1983 | Gebundene Ausgabe | Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 (Symbolic Computation) |