An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving

Magdalena Wolska, Quoc Bao Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller. An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. In Proceedings of the Fourth International Conference on Language Resources and Evaluation, LREC 2004, May 26-28, 2004, Lisbon, Portugal. European Language Resources Association, 2004. [doi]

Authors

Magdalena Wolska

This author has not been identified. Look up 'Magdalena Wolska' in Google

Quoc Bao Vo

This author has not been identified. Look up 'Quoc Bao Vo' in Google

Dimitra Tsovaltzi

This author has not been identified. Look up 'Dimitra Tsovaltzi' in Google

Ivana Kruijff-Korbayová

This author has not been identified. Look up 'Ivana Kruijff-Korbayová' in Google

Elena Karagjosova

This author has not been identified. Look up 'Elena Karagjosova' in Google

Helmut Horacek

This author has not been identified. Look up 'Helmut Horacek' in Google

Armin Fiedler

This author has not been identified. Look up 'Armin Fiedler' in Google

Christoph Benzmüller

This author has not been identified. Look up 'Christoph Benzmüller' in Google