Towards a Principled Approach to Tutoring Mathematical Proofs (bibtex)
by Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska
Reference:
Towards a Principled Approach to Tutoring Mathematical Proofs (Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska), In Proceedings of the Workshop on Expressive Media and Intelligent Tools for Learning, German Conference on AI (KI 2003), 2003. (Url (preprint): http://christoph-benzmueller.de/papers/W26.pdf)
Bibtex Entry:
@inproceedings{W26,
  Address =	 {Hamburg, Germany},
  Author =	 {Christoph Benzm{\"u}ller and Armin Fiedler and Malte
                  Gabsdil and Helmut Horacek and Ivana
                  Kruijff-Korbayova and Dimitra Tsovaltzi and Bao Quoc
                  Vo and Magdalena Wolska},
  Booktitle =	 {Proceedings of the Workshop on Expressive Media and
                  Intelligent Tools for Learning, German Conference on
                  AI (KI 2003)},
  Title =	 {Towards a Principled Approach to Tutoring
                  Mathematical Proofs},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W26.pdf}},
  Year =	 2003,
}
Powered by bibtexbrowser