Publikation
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.
@inproceedings{pub1917, author = { Pollet, Martin and Melis, Erica and Meier, Andreas }, title = {User Interface for Adaptive Suggestions for Interactive Proof}, booktitle = {Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP)}, year = {2003}, pages = {133--142} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023