von R. E. Shostak
Taschenbuch
ISBN: 978-3-540-96022-5
ISBN-10: 3-540-96022-8
Springer Berlin · 1984
|
|
von R. E. ShostakTaschenbuch
ISBN: 978-3-540-96022-5 ISBN-10: 3-540-96022-8 Springer Berlin · 1984 |
| Siehe auch: | ||
| 1984 | Paperback | 7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science) (v. 170) |