| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Markus Guhe, Alan Smaill, Alison Pease: A Formal Cognitive Model of Mathematical Metaphors. KI 2009: 323-330 |
| 2004 | ||
| 1 | Simon Colton, Alison Pease: Lakatos-Style Automated Theorem Modification. ECAI 2004: 977-978 | |
| 1 | Simon Colton | [1] |
| 2 | Markus Guhe | [2] |
| 3 | Alan Smaill | [2] |