Jonathan
Heras Vicente
PROFESOR TITULAR DE UNIVERSIDAD
Angel Luis
Rubio García
PROFESOR TITULAR DE UNIVERSIDAD
Publications dans lesquelles il/elle collabore avec Angel Luis Rubio García (7)
2023
-
Evaluación y mejora del Kit en Tecnologías Informáticas
Evaluación y mejora del Kit en Tecnologías Informáticas
2022
-
Curso 0 en Tecnologías Informáticas
Curso 0 en Tecnologías Informáticas
2019
-
Control de versiones para la gestión de prácticas de los estudiantes del Grado de Ingeniería Informática
Control de versiones para la gestión de prácticas de los estudiantes del Grado de Ingeniería Informática
2018
-
Desarrollo y uso de herramientas software para automatizar la corrección y proveer feedback inmediato a los estudiantes del Grado en Ingeniería Informática
Desarrollo y uso de herramientas software para automatizar la corrección y proveer feedback inmediato a los estudiantes del Grado en Ingeniería Informática
2014
-
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada
Zubía, Núm. 26, pp. 19-37
-
Obtaining an ACL2 specification from an Isabelle/HOL theory
Lecture Notes in Computer Science, Vol. 8884, pp. 49-63
-
Obtaining an ACL2 sprecification from an Isabelle/HOL theory
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63