von: J. Siekmann · G. Wrightson
Gebunden
ISBN-13: 978-3-540-12043-8
ISBN-10: 3-540-12043-2
Springer · 1983
|
|
von: J. Siekmann · G. WrightsonGebunden
ISBN-13: 978-3-540-12043-8 ISBN-10: 3-540-12043-2 Springer · 1983 |
| Siehe auch: | ||
| 1983 | Hardcover | Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970 |