von David M. Sandford
Taschenbuch
ISBN: 978-3-540-10231-1
ISBN-10: 3-540-10231-0
Springer · 2008
|
|
von David M. SandfordTaschenbuch
ISBN: 978-3-540-10231-1 ISBN-10: 3-540-10231-0 Springer · 2008 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 1981 | Paperback | Using Sophisticated Models in Resolution Theorem Proving (Lecture Notes in Computer Science) |