Bao Quoc Vo
2004
An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving
Magdalena Wolska
|
Bao Quoc Vo
|
Dimitra Tsovaltzi
|
Ivana Kruijff-Korbayová
|
Elena Karagjosova
|
Helmut Horacek
|
Armin Fiedler
|
Christoph Benzmüller
Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04)