von: J. Siekmann · G. Wrightson
Gebunden
ISBN: 978-3-540-12044-5
ISBN-10: 3-540-12044-0
Springer · 1983
|
|
von: J. Siekmann · G. WrightsonGebunden
ISBN: 978-3-540-12044-5 ISBN-10: 3-540-12044-0 Springer · 1983 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 1983 | Taschenbuch | Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 (Symbolic Computation) |