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". …
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 …
Johan Bos; Anne-Marie Mineur; Paul Buitelaar
CLAUS-Report, Universität des Saarlandes, Vol. 52, 3/1995.
Johan Bos; Paul Buitelaar; Anne-Marie Mineur
In: 6th European Summer School in Logic, Language, and Information (ESSLLI'95). Workshop on "The Computational Lexicon", August 13-25. European Summer …
In: Suresh Manandhar (Hrsg.). Computational Logic for Natural Language Processing (CLNLP '95) - Workshop Proceedings, April 3-5. Computational Logic …
Tania Avgustinova; Karel Oliva
In: Wiener Slavistisches Jahrbuch, Vol. 41, Pages 21-42, 1995.