Publication

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers

Serge Autexier, C. Benzmüller (editor)

Workshop on User Interfaces for Theorem Provers (UITP-2006) August 21-21 Seattle WA United States Electronic Notes in Theoretical Computer Science (ENTCS) 174 2 Elsevier 2007.

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