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

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