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

  1. Maestro-Prieto, J.A.
  2. Simon-Hurtado, A.
Aldizkaria:
Computer Applications in Engineering Education

ISSN: 1099-0542,  1061-3773

Argitalpen urtea: 2015

Alea: 23

Zenbakia: 6

Orrialdeak: 837-845

Mota: Berrikuspena

DOI: 10.1002/CAE.21654 GOOGLE SCHOLAR

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus