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
Année de publication: 2015
Volumen: 23
Número: 6
Pages: 837-845
Type: Révision
ISSN: 1099-0542, 1061-3773
Année de publication: 2015
Volumen: 23
Número: 6
Pages: 837-845
Type: Révision