von Lutz Pl??mer
Taschenbuch
ISBN: 978-3-540-52837-1
ISBN-10: 3-540-52837-7
Springer · 2008
|
|
von Lutz Pl??merTaschenbuch
ISBN: 978-3-540-52837-1 ISBN-10: 3-540-52837-7 Springer · 2008 |
| Siehe auch (möglicherweise von anderen Autoren): | ||
| 1990 | Paperback | Termination Proofs for Logic Programs (Lecture Notes in Computer Science) |