Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view
ISSN: 1099-0542, 1061-3773
Any de publicació: 2015
Volum: 23
Número: 6
Pàgines: 837-845
Tipus: Revisió
ISSN: 1099-0542, 1061-3773
Any de publicació: 2015
Volum: 23
Número: 6
Pàgines: 837-845
Tipus: Revisió