Student use of an interactive theorem prover (1984)

by P Suppes
Venue:Contemporary Mathematics