von James G. Williams
Taschenbuch
ISBN-13: 978-3-540-54333-6
ISBN-10: 3-540-54333-3
Springer Berlin Heidelberg · 2008
|
|
von James G. WilliamsTaschenbuch
ISBN-13: 978-3-540-54333-6 ISBN-10: 3-540-54333-3 Springer Berlin Heidelberg · 2008 |
| S. auch: | ||
| 1991 | Paperback | Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science 518) |