Publikationen
Seite 2 von 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 …
Übersicht
Team
Projekte
News
Jobs
Sekretariat: Shannon Kittrell, B.A. Tel.: +49 631 20575 4010fbei-sek@dfki.de
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Forschungsbereich Eingebettete Intelligenz Trippstadter Str. 122 67663 Kaiserslautern Deutschland