Henri Lesourd

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

Publications

Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayová, Marvin R. G. Schiller, Magdalena Wolska
A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. LREC (2006)
Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin R. G. Schiller, Magdalena Wolska
DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. KI (2006)
Henri Lesourd
The Implementation of the Hammurabi System: Indexing and Interprocess Communication. Electron. Notes Theor. Comput. Sci. 30 (3) (1999)