A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material Christoph Benzmüller author Helmut Horacek author Henri Lesourd author Ivana Kruijff-Korbayova author Marvin Schiller author Magdalena Wolska author 2006-05 text Proceedings of the Fifth International Conference on Language Resources and Evaluation (LREC’06) Nicoletta Calzolari editor Khalid Choukri editor Aldo Gangemi editor Bente Maegaard editor Joseph Mariani editor Jan Odijk editor Daniel Tapias editor European Language Resources Association (ELRA) Genoa, Italy conference publication benzmuller-etal-2006-corpus https://aclanthology.org/L06-1486/ 2006-05