by M. E. Stickel
Paperback
ISBN: 978-0-387-52885-4
ISBN-10: 0-387-52885-7
Springer Verlag · 1990
|
|
by M. E. StickelPaperback
ISBN: 978-0-387-52885-4 ISBN-10: 0-387-52885-7 Springer Verlag · 1990 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science, Band 449) |