Publications
Page 6 of 9.
Serge Autexier; Petr Sojka; Masakazu Suzuki
In: Journal Mathematics in Computer Science, Vol. 3, No. 3, Pages 225-226, Birkhaeuser, Basle, Switzerland, 3/2010.
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.
Serge Autexier; Dominik Dietrich
In: Bärbel Mertsching (Hrsg.). Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence …
Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier
In: Dov M. Gabbay; John Woods. Logic from Russell to Church. Pages 195-254, Handbook of The History of Logic, Vol. 5, Elsevier, 6/2009.
David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner
In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), …
Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow
In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Journal of Automated Reasoning, Springer Netherlands, 12/2008.
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; Heiko Mantel; S. Merz; T. Nipkow
In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.
Paul Libbrecht; Cyrille Desmoulins; Christian Mercat; Colette Laborde; Michael Dietrich; Maxim Hendriks
In: Serge Autexier; Masakazu Suzuki (Hrsg.). To Appear in Proceedings of MKM 2008. International Conference on Mathematical Knowledge Management …
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