by Lutz Plumer
Paperback
ISBN: 978-0-387-52837-3
ISBN-10: 0-387-52837-7
Springer Verlag · 1990
|
|
by Lutz PlumerPaperback
ISBN: 978-0-387-52837-3 ISBN-10: 0-387-52837-7 Springer Verlag · 1990 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | Termination Proofs for Logic Programs (Lecture Notes in Computer Science, Band 446) |