Desirable features of educational theorem provers - a cognitive dimensions viewpoint

Gada Kadoda; Roger G. Stone; Dan Diaper
Type of Publication: Paper
Conference: PPIG 1999 - 11th Annual Workshop
Publication Year: 1999
Paper #: 4
TitleDesirable features of educational theorem provers - a cognitive dimensions viewpoint
Publication TypePaper
AuthorsKadoda, G, Stone, RG, Diaper, D
PPIG Workshop: 
1999-01-11th