 | 2009 |
|---|
| 6 |       | Marvin Schiller,
Christoph Benzmüller:
Granularity-Adaptive Proof Presentation.
AIED 2009: 599-601 |
| 5 |  | Marvin Schiller,
Christoph Benzmüller:
Proof Granularity as an Empirical Problem?
CSEDU (1) 2009: 350-354 |
| 4 | | Marvin Schiller,
Christoph Benzmüller:
Presenting Proofs with Adapted Granularity.
KI 2009: 289-297 |
| 3 | | Marvin Schiller,
Christoph Benzmüller:
Granularity-Adaptive Proof Presentation
CoRR abs/0903.0314: (2009) |
| 2007 |
|---|
| 2 | | Christoph Benzmüller,
Dominik Dietrich,
Marvin Schiller,
Serge Autexier:
Deep Inference for Automated Proof Tutoring?
KI 2007: 435-439 |
| 2006 |
|---|
| 1 | | Christoph Benzmüller,
Helmut Horacek,
Ivana Kruijff-Korbayová,
Henri Lesourd,
Marvin Schiller,
Magdalena Wolska:
DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics.
KI 2006: 159-173 |
