William Billingsley

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index