A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material (bibtex)
by Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayova, Marvin Schiller, Magdalena Wolska
Reference:
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 Entry:
@inproceedings{C20,
  Address =	 {Genova, Italy},
  Author =	 {Christoph Benzm{\"u}ller and Helmut Horacek and
                  Henri Lesourd and Ivana Kruijff-Korbayova and Marvin
                  Schiller and Magdalena Wolska},
  Booktitle =	 {Proceedings of International Conference on Language
                  Resources and Evaluation (LREC 2006)},
  Keywords =	 {own, DIALOG, Proof Presentation, Natural Language
                  Dialog, Tutoring Systems},
  Publisher =	 {ELDA},
  Title =	 {A corpus of tutorial dialogs on theorem proving; the
                  influence of the presentation of the study-material},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C20.pdf}},
  Year =	 2006,
}
Powered by bibtexbrowser