von D. W. Loveland
Taschenbuch
ISBN-13: 978-3-540-11558-8
ISBN-10: 3-540-11558-7
Springer · 1982
|
|
von D. W. LovelandTaschenbuch
ISBN-13: 978-3-540-11558-8 ISBN-10: 3-540-11558-7 Springer · 1982 |
| Siehe auch: | ||
| 1982 | Paperback | 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (Lecture notes in computer science 138) |