Publications

Displaying results 1 to 1 of 1

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.

To the publication

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