Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view
2015 ◽
Vol 23
(6)
◽
pp. 837-845
◽
Keyword(s):
1960 ◽
Vol 23
(1)
◽
pp. 173-174
2006 ◽
Vol 25
(4)
◽
pp. 227
2020 ◽
Vol 14
(2)
◽
pp. 1265-1267
Keyword(s):
Keyword(s):