%0 Conference Proceedings %T An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving %A Wolska, Magdalena %A Vo, Bao Quoc %A Tsovaltzi, Dimitra %A Kruijff-Korbayová, Ivana %A Karagjosova, Elena %A Horacek, Helmut %A Fiedler, Armin %A Benzmüller, Christoph %Y Lino, Maria Teresa %Y Xavier, Maria Francisca %Y Ferreira, Fátima %Y Costa, Rute %Y Silva, Raquel %S Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04) %D 2004 %8 May %I European Language Resources Association (ELRA) %C Lisbon, Portugal %F wolska-etal-2004-annotated %U http://www.lrec-conf.org/proceedings/lrec2004/pdf/669.pdf