Publikationen
Seite 1 von 1.
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; 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.
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; Christoph Benzmüller; Dominik Dietrich; Marc Wagner
In: Mathematics in Computer Science, Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008.
Ü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