Inproceedings,

A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material

, , , , , and .
Proceedings of International Conference on Language Resources and Evaluation (LREC 2006), Genoa, Italy, ELDA, (2006)

Meta data

Tags

Users

  • @marvinschiller

Comments and Reviews