Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Ansgar Bernardi; Anna-Maria Schoeller
FEMEX Arbeitspapier, ZGDV Darmstadt. Anonymous ftp on ftp.igd.fhg.de, /femex/WG1/DEF_BernardiSchoeller.ps, 6/1995.
Internes Papier zur Gründung des FEMEX-Arbeitskreises, ZGDV Darmstadt, 1/1995.
Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik
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.
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". …
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 …
Hans-Jürgen Bürckert; Bernhard Nebel
In: Journal of the ACM (JACM), Vol. 42, No. 1, Pages 43-66, 1995.
