Henri Lesourd und Christoph Benzmüller - Info zur Person

(1 - 12 von 13

)

Etaps programme: UITP.htmlThe University of Edinburgh

www.etaps05.inf.ed.ac.uk

Serge Autexier, Christoph Benzmüller, Armin Fiedler and Henri Lesourd. An Emacs Interface for Type-Directed Support for Constructing Proofs and Programs

Henri Lesourd - ACL Anthologyaclanthology.org › people › henri-lesourd

aclanthology.org

KI 2006: 29th Annual German Conference on AI, KI 2006, ...google.de

books.google.de

159 Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, and Magdalena Wolska Session 5.

Mathematical Knowledge Management: 4th International ...google.de

books.google.de

Serge Autexier, Christoph Benzmüller, Armin Fiedler, and Henri Lesourd. Integrating proof assistants as reasoning and verification tools into a scientific ...

OMDoc -- An Open Markup Format for Mathematical Documents ...google.de

books.google.de

Project Home http://www.ags.uni-sb.de/~omega/projects/ verimathdoc Authors Serge Autexier, Christoph Benzmüller, Armin Fiedler, and Henri Lesourd Computer ...

Mathematical Knowledge Management: 4th International Conference, MKM...

books.google.de

Universitá degli studi di Siena, Serge Autexier, Christoph Benzmüller, Armin Fiedler, and Henri Lesourd. Integrating proof assistants as reasoning and ...

Henri Lesourd - DBLPdblp.org › Persons

dblp.org

— List of computer science publications by Henri Lesourd Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayová, ...

Serge Autexier - Publications

www.informatik.uni-bremen.de

Serge Autexier, Christoph Benzmüller, Armin Fiedler, Henri Lesourd. Integrating Proof Assistants as Plugins in a Scientific Editor, In Michael Kohlhase

A Tool for Wizard-of-Oz Experiments in MathematicsSemantic Scholar

www.semanticscholar.org

Christoph Benzmüller, H. Horacek, Henri Lesourd, Ivana Kruijff-Korbayová, Marvin R. G. Schiller, Magdalena Wolska · Computer Science. LREC ·

A corpus of tutorial dialogs on theorem provingACL Anthology

aclanthology.org

von C Benzmüller · · Zitiert von: 29 — Cite (ACL):: Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayova, Marvin Schiller, and Magdalena Wolska A corpus of tutorial ... Christoph Benzmüller | Helmut Horacek | Henri Lesourd | Ivana Kruijff-Korbayova | Marvin Schiller | Magdalena Wolska