Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Dieter Hutter; Michael Kohlhase
Technical Report, Vol. SR-95-08, 1995.
Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic …
Dieter Hutter; Werner Stephan
In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated …
Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik
In: Ipke Wachsmuth; Claus-Rainer Rollinger; Wilfried Brauer (Hrsg.). KI'95: Proceedings of the 19th Annual German Conference on Artificial …
Ulrich Furbach; Hans-Jürgen Bürckert; Joachim Hertzberg; Bernhard Nebel; Gerd Brewka; Gerd Lakemeyer; Torsten Schaub; Frank Puppe
In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …
Hans-Jürgen Bürckert; Andrea Gräber; Armin Laux
In: Armin Laux; Heinrich Wansing (Hrsg.). Knowledge and Beliefs in Philosophy and Artificial Intelligence. Pages 29-64, Akademie-Verlag, 1995.
Markus Steffens; Ansgar Bernardi
DFKI, DFKI Documents (D), Vol. 95-06, 1995.
Franz Schmalhofer; Ludger van Elst
In: W. Dzida; U. Konradt (Hrsg.). Psychologie des Software-Entwurfs. Pages 223-244, Göttingen: Verlag für Angewandte Psychologie, 1995.
In: A. Borgida; M. Lenzerini; D. Nardi; B. Nebel (Hrsg.). Proceedings of the 1995 International Workshop on Description Logics. International Workshop …
Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 95-04, 1995.
