Springer · Vieweg+Teubner Verlag
| Titel | Art | ISBN-13 (ISBN-10) | Erscheinungsjahr | |
|---|---|---|---|---|
| Begründungsverwaltung: Grundlagen, Systeme Und Algorithmen | Taschenbuch | 978-3-8154-2303-5 (3-8154-2303-1) | 1996 | |
| Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz | Paperback | 978-0-387-50720-0 (0-387-50720-5) | 1988 | |
| Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz | Taschenbuch | 978-3-540-50720-8 (3-540-50720-5) | 1988 |