von Peter Padawitz
Gebunden
EAN=ISBN-13: 978-3-540-19427-9
ISBN-10: 3-540-19427-4
Springer · 1988
|
|
von Peter PadawitzGebunden
EAN=ISBN-13: 978-3-540-19427-9 ISBN-10: 3-540-19427-4 Springer · 1988 |
| Siehe auch: | ||
| 1988 | Taschenbuch | Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series (16), Band 16) |