Publikationen
Seite 8 von 9.
Serge Autexier; Dieter Hutter
In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.
Malte Hübner; Serge Autexier; Christoph Benzmüller; Andreas Meier
In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 161-181, Elsevier, 12/2004.
Till Mossakowski; P. Hoffman; Serge Autexier; Dieter Hutter
In: Bernd Krieg-Brückner; P. Mosses (Hrsg.). The CASL Reference Manual. LNCS, Vol. 2960, Springer, 2004.
Till Mossakowski; Serge Autexier; Dieter Hutter
In: Journal of Logic and Algebraic Programming (JLAP), Elsevier, 2004.
Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer
In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic …
In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for …
In: Springer-Verlag, 2002.
In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering …
Axel Schairer; Serge Autexier; Dieter Hutter
In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on …
In: Maria Paola Bonacina; Bernhard Gramlich (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 58, Elsevier Science Publishers, 2001.
Übersicht
Team
Projekte
News
Jobs
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Intelligente Analytik für Massendaten DFKI Labor Berlin Alt-Moabit 91c 10559 Berlin Deutschland
