Christoph Benzmüller,
Armin Fiedler,
Malte Gabsdil,
Helmut Horacek,
Ivana Korbayova,
Dimitra Tsovaltzi,
Bao Quoc Vo and
Magdalena Wolska. Towards a Principled Approach to Tutoring Mathematical Proofs. In
Andreas Harrer and
Katrin Gaßner editors, Proceedings of the KI-03 Workshop on Expressive Media and Intelligent Tools for Learning, Hamburg, Germany, 2003.
@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}
}
|
