Publications
Page 9 of 9.
Serge Autexier; Dieter Hutter
In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software …
Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer
In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development …
Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers
In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.
In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …
Serge Autexier; Heiko Mantel
Vol. SEKI Report SR-98-05, 1998.
Serge Autexier; Heiko Mantel; Werner Stephan
In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German …
In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem …
DFKI, DFKI Research Reports (RR), Vol. 97-04, 1997.
Arthur Sehn; Serge Autexier (Hrsg.)
DFKI, DFKI Documents (D), Vol. 94-12, 1994.
Overview
Team
Projects
News
Jobs
Office:Esma Kosuta Phone: +49 541 386050 2287pbr-info@dfki.de
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) DFKI Niedersachsen Plan-Based Robot Control Hamburger Straße 24 49084 Osnabrück Germany