Search: A Corpus Of Tutorial Dialogs On Theorem Proving; The
2006
[1]A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material (Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayova, Marvin Schiller, Magdalena Wolska), In Proceedings of International Conference on Language Resources and Evaluation (LREC 2006), ELDA, 2006. (Url (preprint): http://christoph-benzmueller.de/papers/C20.pdf) [bibtex]
Powered by bibtexbrowser