Publications
Page 1 of 2.
Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and …
Serge Autexier; Dominik Dietrich; Marvin Schiller
In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 79, Pages 1-28, ArXiv, 2/2012.
Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev
In: James H. Davenport; William Farmer; Florian Rabe; Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer …
In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). THedu'11 - CTP Components for Educational Software. CTP Components for Educational Software (Thedu-11), …
Serge Autexier; Dominik Dietrich
In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on …
Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Jörg Siekmann
In: Matthew Crocker; Jörg Siekmann (Hrsg.). Resource Adaptive Cognitive Processes. Page 28, LNAI, ISBN 978-3-540-89407-0, Springer, 11/2009.
In: Bärbel Mertsching (Hrsg.). Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence …
Dominik Dietrich; Ewaryst Schulz
In: Journal of Automated Reasoning (JAR), Vol. 43, No. 3, Pages 1-32, Springer, 2009.
Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner
In: Manfred Kerber (Hrsg.). Journal Mathematics in Computer Science, Vol. 2, No. 2, Pages 253-277, Birkhäuser, 12/2008.
Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner
In: Mathematics in Computer Science, Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008.
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