Cognitive Assistants

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

Secretary:
Iris Lambrecht
Phone: +49 681 85775 5006

Team Assistant:
Sylvia Krüger
Phone: +49 681 85775 5152

German Research Center for
Artificial Intelligence GmbH (DFKI)
Stuhlsatzenhausweg 3
Saarland Informatics Campus, Geb. D3 2
66123 Saarbrücken
Deutschland

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