NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
Christoph Benzmuller
Number of Papers:- 2
Number of Citations:- 0
First ACL Paper:- 2004
Latest ACL Paper:- 2006
Venues:-
LREC
Co-Authors:-
Armin Fiedler
Bao Quoc Vo
Dimitra Tsovaltzi
Elena Karagjosova
Helmut Horacek
Similar Authors:-
Peter Buneman
Larry Tesler
Paolo Terenziani
Wei Feng
Fatimah Dato Ahmad
2006
2004
A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material
LREC
Christoph Benzmüller |
Helmut Horacek |
Henri Lesourd |
Ivana Kruijff-Korbayova |
Marvin Schiller |
Magdalena Wolska |
An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving
LREC
Magdalena Wolska |
Bao Quoc Vo |
Dimitra Tsovaltzi |
Ivana Kruijff-Korbayová |
Elena Karagjosova |
Helmut Horacek |
Armin Fiedler |
Christoph Benzmüller |
Linguistic
Task
Language
.