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), Pages 133-142, 2003.

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