Embedded Intelligence

PUBLICATIONS

In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008) August 22-22 Montreal QC Canada Pages 3-21 Electronic Notes in Theoretical Computer Science (ENTCS) 226 Elsevier Science 2009.

To the publication

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

To the publication

In: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-08) July 31-August 1 Birmingham United Kingdom Pages 398-414 Lecture Notes in Artificial Intelligence (LNAI) 5144 Springer Berlin, Heidelberg 2008.

To the publication

Contact

Office:
Jane Bensch, B.A.
Phone: +49 631 20575 4010

German Research Center for
Artificial Intelligence GmbH (DFKI)
Research Department Embedded Intelligence
Trippstadter Str. 122
67663 Kaiserslautern
Germany

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz