Publikation

User Interface for Adaptive Suggestions for Interactive Proof

Martin Pollet, Erica Melis, Andreas Meier

In: Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP) Seiten 133-142 2003.

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