| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker | 978-3-528-04718-4 (3-528-04718-6) | 1989 |
| Grundlagen Des Maschinellen Beweisens: Eine Einfuhrung Fur Informatiker Und Mathematiker | 978-3-528-14718-1 (3-528-14718-0) | 1991 |