Jesús María
Aransay Azofra
PROFESOR CONTRATADO DOCTOR -TIPO 1
Angel Luis
Rubio García
PROFESOR TITULAR DE UNIVERSIDAD
Publicaciones en las que colabora con 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
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
-
Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática
Prácticas Externas: su coordinación y su relación con las diferentes asignaturas del Grado en Ingeniería Informática
2013
-
Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática
Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática