@InProceedings{Benzmüller_et_al:2003_1,
AUTHOR = {Benzmüller, Christoph and Fiedler, Armin and Gabsdil, Malte and Horacek, Helmut and Korbayova, Ivana and Tsovaltzi, Dimitra and Vo, Bao Quoc and Wolska, Magdalena},
TITLE = {Towards a Principled Approach to Tutoring Mathematical Proofs},
YEAR = {2003},
BOOKTITLE = {Proceedings of the KI-03 Workshop on Expressive Media and Intelligent Tools for Learning},
EDITOR = {Harrer, Andreas and Gaßner, Katrin},
ADDRESS = {Hamburg, Germany}
}
|
