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 …
Dieter Hutter
In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Dagstuhl Seminare/Workshops, Schloß Dagstuhl, 1995.
Georg Rock
em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.
Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif
In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". …
Abdel Kader Diagne; Walter Kasper; Hans-Ulrich Krieger
DFKI, DFKI Research Reports (RR), Vol. 95-19, 1995.
Thierry Declerck; Sibylle Rieder; Paul Schmidt; Axel Theofilidis
In: Deutschen Gesellschaft für Sprachwissenschaft (DGfS/CL 95). Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für …
Richard Crouch; Robert Gaizauskas; Klaus Netter
Interim Report, DFKI, o.A. 1995.
Stephan Busemann; Hans-Joachim Novak
In: Günther Görz (Hrsg.). Einführung in die Künstliche Intelligenz. Pages 492-540, Addison-Wesley, Bonn, 1995.