Login / Signup
A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material.
Christoph Benzmüller
Helmut Horacek
Henri Lesourd
Ivana Kruijff-Korbayová
Marvin R. G. Schiller
Magdalena Wolska
Published in:
LREC (2006)
Keyphrases
</>
theorem proving
theorem prover
proof procedure
automated reasoning
first order logic
decision procedures
automatic programming
distributed search
parallel search
proof planning