| title | media type | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|---|
| Solving Higher-Order Equations: From Logic to Programming | Hardcover | 978-0-8176-4032-3 (0-8176-4032-0) | 1997 | |
| Solving Higher-Order Equations: From Logic to Programming | Gebunden | 978-3-7643-4032-2 (3-7643-4032-0) | 1997 |
C.P. · Christian Prüfer · Christina Probert · Christina Prüver · Christine Pirhofer