Biblio

Found 1 results
Filters: First Letter Of Title is D and Author is Roger G Stone  [Clear All Filters]
1999
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.