Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Axel Schairer; Dieter Hutter
In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic …
Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer
Serge Autexier; Dieter Hutter
In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for …
Klaus Fischer; Dieter Hutter
DFKI, Workshop-proceedings, First International Joint Conference on Autonomous Agents and Multi-Agent Systems, also DFKI-Reseach Report RR-02-03, DFKI …
In: Springer-Verlag, 2002.
Dieter Hutter; David Basin; Christoph Lüth; Peter Lindsay
Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report, Copenhagen, Denmark, 2002.
Jochen Büdenbender; Giorgi Goguadze; Paul Libbrecht; Erica Melis; Carsten Ullrich
Seki Report, Universität des Saarlandes FB Informatik, Seki Report, Vol. SR-02-02, 2002.
Jochen Büdenbender; Adrian Frischauf; Giorgi Goguadze; Erica Melis; Paul Libbrecht; Carsten Ullrich
In: S. A. Cerri; G. Gouarderes; F. Paraguacu (Hrsg.). 6th International Conference on Intelligent Tutoring Systems. International Conference on …
Paul Libbrecht
In: Paul Wang; Norbert Kajler (Hrsg.). Proceedings of the ISSAC-2002 Workshop on Internet Accessible Mathematical Computation. Workshop on Internet …
Erica Melis
In: BMBF-Workshop: Standardisierung im eLearning. BMBF-Workshop: Standardisierung im eLearning, Pages 78-81, 4/2002.
