Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Jörg P. Müller
DFKI, DFKI Documents (D), Vol. 91-02, 1991.
Werner Stein; Michael Sintek
DFKI, DFKI Documents (D), Vol. 91-01, 1991.
Hans-Jürgen Bürckert
In: Comon et al. (Hrsg.). Theorem Proving and Logic Programming with Constraints. Dagstuhl Seminare/Workshops, Dagstuhl Seminar 9143, October 24-25, …
Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka
DFKI, DFKI Research Reports (RR), Vol. 91-01, 1991.
Hans-Jürgen Bürckert; Jürgen Müller; Achim Schupeta
DFKI, DFKI Research Reports (RR), Vol. 91-09, 1991.
Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Werner Nutt; Hans-Jürgen Profitlich
In: Kai von Luck; Christoph Peltason; Bernhard Nebel (Hrsg.). Proceedings of the International Workshop on Terminological Logics. International …
Michael M. Richter; Ansgar Bernardi; Christoph Klauck; Ralf Legleitner
DFKI, DFKI Research Reports (RR), Vol. 91-23, 1991.
Michael M. Richter; Bernd Bachmann; Ansgar Bernardi; Christoph Klauck; Ralf Legleitner; Gabriele Schmidt
In: VDI-EKV: Erfolgreiche Anwendung wissensbasierter Systeme in Entwicklung und Konstruktion. VDI-EKV Fachtagung des Arbeitskreises Entwicklung, …
Ralf Legleitner; Ansgar Bernardi; Christoph Klauck
In: International Conference on Manufacturing Automation. International Conference on Manufacturing Automation (ICMA), 1991.
Christoph Klauck; Ralf Legleitner; Ansgar Bernardi
Research Report, Vol. 91-20, 6/1991.