Due to maintenance work, it is currently not possible to search for publications by author.
Mona Singh
DFKI, DFKI Technical Memos (TM), Vol. 92-03, 1992.
Achim Schupeta
DFKI, DFKI Technical Memos (TM), Vol. 92-02, 1992.
Lijuan Zhang
DFKI, DFKI Technical Memos (TM), Vol. 92-01, 1992.
Klaus-Dieter Althoff; Stefan Wess; Brigitte Bartsch-Spörl; Dietmar Janetzko; Frank Maurer; Angie Voss
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …
Wolfgang Maaß
Mastersthesis, Department of Computer Science, 1992.
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
Oldenbourg-Verlag, 1992.
Hans-Jürgen Bürckert
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatiserung des logischen Denkens. Pages 151-178, Oldenbourg, 1992.
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 112-125, Oldenbourg, 1992.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt