Publikation

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

Serge Autexier, C. Benzmüller (Hrsg.)

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.

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