von Hans-J??rgen B??rckert
Taschenbuch
ISBN: 978-3-540-55034-1
ISBN-10: 3-540-55034-8
Springer · 2008
|
|
von Hans-J??rgen B??rckertTaschenbuch
ISBN: 978-3-540-55034-1 ISBN-10: 3-540-55034-8 Springer · 2008 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 1992 | Paperback | A Resolution Principle for a Logic With Restricted Quantifiers (Lecture Notes in Computer Science / Artificial Intelligence 568) |