Publications
Page 2 of 2.
Dominik Dietrich; Ewaryst Schulz
In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, …
Dominik Dietrich; Ewaryst Schulz; Marc Wagner
In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …
Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller
In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence …
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