Login / Signup

Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view.

José Alberto Maestro-PrietoArancha Simón Hurtado
Published in: Comput. Appl. Eng. Educ. (2015)
Keyphrases