Found 2 results
Filters: Author is Dan Diaper  [Clear All Filters]
D. Diaper, The Model Matters: Constructing and Reasoning with Heterarchical Structural Models, presented at the 04/2001, PPIG 2001 - 13th Annual Workshop, 2001.
G. Kadoda, Stone, R. G., and Diaper, D., Desirable features of educational theorem provers - a cognitive dimensions viewpoint, presented at the 01/1999, PPIG 1999 - 11th Annual Workshop, 1999.