| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 3 |      | William Billingsley, Cindy Gallois, Andrew Smith, Marcus Watson: COMLEX: visualizing communication for research and saving lives. CHI Extended Abstracts 2010: 3757-3762 |
| 2007 | ||
| 2 | | 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 | Cindy Gallois | [3] |
| 3 | Chris Hanson | [1] |
| 4 | Peter Robinson | [1] [2] |
| 5 | Andrew Smith | [3] |
| 6 | Marcus Watson | [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page