| |
| 2007 | ||
|---|---|---|
| 3 | EE | Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439 |
| 2006 | ||
| 2 | EE | Serge Autexier, Dominik Dietrich: Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. MKM 2006: 94-109 |
| 2005 | ||
| 1 | EE | Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth: A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM 2005: 126-142 |
| 1 | Serge Autexier | [1] [2] [3] |
| 2 | Christoph Benzmüller | [1] [3] |
| 3 | Andreas Meier | [1] |
| 4 | Marvin Schiller | [3] |
| 5 | Claus-Peter Wirth | [1] |