Skip to main content Skip to main navigation
Eingebettete Intelligenz Headerbild© Adobe Stock

Eingebettete Intelligenz

Publikationen

Seite 1 von 1.

  1. David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner

    Towards Merging Plato and PGIP

    In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), …

  2. Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner

    Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA

    In: Manfred Kerber (Hrsg.). Journal Mathematics in Computer Science, Vol. 2, No. 2, Pages 253-277, Birkhäuser, 12/2008.

  3. Dominik Dietrich; Ewaryst Schulz; Marc Wagner

    Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

    In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …

  4. Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner

    Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA

    In: Mathematics in Computer Science, Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008.

Kontakt

Sekretariat:
Shannon Kittrell, B.A.
Tel.: +49 631 20575 4010

Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Forschungsbereich Eingebettete Intelligenz
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland