Henri Lesourd

According to our database, Henri Lesourd authored at least 3 papers between 1999 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

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

Proceedings of the Fifth International Conference on Language Resources and Evaluation, 2006

DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics.

Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin R. G. Schiller, Magdalena Wolska

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

1999

The Implementation of the Hammurabi System: Indexing and Interprocess Communication.

Henri Lesourd

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999