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

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