Desirable features of educational theorem provers: A cognitive dimensions viewpoint (1999)

by G Kadoda, R Stone, D Diaper
Venue:In