von Wolfgang Bibel
Taschenbuch
ISBN-13: 978-3-528-18520-6
ISBN-10: 3-528-18520-1
Friedrick Vieweg & Son · 1987
|
|
von Wolfgang BibelTaschenbuch
ISBN-13: 978-3-528-18520-6 ISBN-10: 3-528-18520-1 Friedrick Vieweg & Son · 1987 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 1978 | Hardcover | Automated theorem proving: A logical basis (Fundamental studies in computer science) |