An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving

Magdalena Wolska | Bao Quoc Vo | Dimitra Tsovaltzi | Ivana Kruijff-Korbayová | Elena Karagjosova | Helmut Horacek | Armin Fiedler | Christoph Benzmüller |

Paper Details:

Month: May
Year: 2004
Location: Lisbon, Portugal
Venue: LREC |