Publikationen

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 Seiten 3-21 Electronic Notes in Theoretical Computer Science (ENTCS) 226 Elsevier Science 2009.

Zur Publikation

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