Search: An Annotated Corpus Of Tutorial Dialogs On Mathematical Theorem Proving
2004
[1]An annotated corpus of tutorial dialogs on mathematical theorem proving (Magdalena Wolska, Bao Quoc Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayova, Elena Karagjosova, Helmut Horacek, Malte Gabsdil, Armin Fiedler, Christoph Benzmüller), In Proceedings of International Conference on Language Resources and Evaluation (LREC 2004), ELDA, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/C14.pdf) [bibtex]
Powered by bibtexbrowser