by James G. Williams
Paperback
ISBN: 978-0-387-54333-8
ISBN-10: 0-387-54333-3
Springer Verlag · 1991
|
|
by James G. WilliamsPaperback
ISBN: 978-0-387-54333-8 ISBN-10: 0-387-54333-3 Springer Verlag · 1991 |
| See also: | ||
| 2008 | Taschenbuch | Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, Band 518) |