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
Year of publication: 2015
Volume: 23
Issue: 6
Pages: 837-845
Type: Review
ISSN: 1099-0542, 1061-3773
Year of publication: 2015
Volume: 23
Issue: 6
Pages: 837-845
Type: Review