| |
| 2007 | ||
|---|---|---|
| 2 | EE | William Billingsley, Peter Robinson: Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book. J. Autom. Reasoning 39(2): 181-218 (2007) |
| 2004 | ||
| 1 | William Billingsley, Peter Robinson, Mark Ashdown, Chris Hanson: Intelligent tutoring and supervised problem solving in the browser. ICWI 2004: 806-810 | |
| 1 | Mark Ashdown | [1] |
| 2 | Chris Hanson | [1] |
| 3 | Peter Robinson | [1] [2] |