|
|
|
|
|
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. google
|
|
|
|