Stefan Hildebrandt · Steffen H
Oldenbourg · Springer, Berlin · Synchron Wissenschaftsverlag der Autoren · Vieweg
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Deduktion. Automatisierung der Logik | 978-3-486-20785-9 | 1992 | Wolfgang Bibel |
| Foundations of Equational Logic Programming | 978-3-540-51533-3 | 1989 | |
| KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, ... 20th | 978-3-540-61708-2 | 1996 | Günther Görz |
| Logik und Logikprogrammierung. | 978-3-935025-59-1 | 2003 | |
| Logik und Logikprogrammierung | 978-3-935025-24-9 | 2001 | |
| Wissenspräsentation und Inferenz. Eine grundlegende Einführung | 978-3-528-05374-1 | 1993 | Wolfgang Bibel · Torsten Schaub |