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
Año de publicación: 2015
Volumen: 23
Número: 6
Páginas: 837-845
Tipo: Revisión
ISSN: 1099-0542, 1061-3773
Año de publicación: 2015
Volumen: 23
Número: 6
Páginas: 837-845
Tipo: Revisión