Publikationen

Seite 2 von 2.

Andreas Meier; Erica Melis
Meta Reasoning in Multiple-Strategy Proof Planning
In: Susanne Biundo; Thom Frühwirth; Günther Palm (Hrsg.). Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004). …
Andreas Meier; Erica Melis
Failure Reasoning in Multiple-Strategy Proof Planning
In: M.P. Bonacina; T. Boy de la Tour (Hrsg.). Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint …
Martin Pollet; Erica Melis; Andreas Meier
User Interface for Adaptive Suggestions for Interactive Proof
In: Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP). Workshop on User Interfaces for Theorem Provers (UITP), …
Jörg Siekmann; Christoph Benzmüller; Armin Fiedler; Andreas Franke; Helmut Horacek; Paul Libbrecht; Michael Kohlhase; Andreas Meier; Erica Melis; Martin Pollet; Volker Sorge; Carsten Ullrich; Jürgen Zimmer
Adaptive Course Generation and Presentation
In: P. Brusilovski (Hrsg.). Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems. ACM International Conference on …