Oldenbourg Wissenschaftsverlag · Springer
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Deduktionssysteme: Automatisierung des logischen Denkens | 978-3-486-22033-9 (3-486-22033-0) | 1992 | Hans J Bürckert |
| Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings | 978-3-540-52337-6 (3-540-52337-5) | 1990 | Ulrich Hedtstück · Claus-Rainer Rollinger |
H B · K. B. · K. H. · Karl H. · Karl-Hans Blaesius