Adding a graphical output to a theorem prover: Results of a comparison of the acceptance from a teaching point of view
- Maestro-Prieto, J.A.
- Simon-Hurtado, A.
ISSN: 1099-0542, 1061-3773
Año de publicación: 2015
Volumen: 23
Número: 6
Páginas: 837-845
Tipo: Revisión
Los documentos del portal se actualizan diariamente. Esta fecha hace referencia a la actualización de la información relacionada con la estructura del portal (personas, grupos de investigación, unidades organizativas, proyectos...).