Angel Luis
Rubio García
PROFESOR TITULAR DE UNIVERSIDAD
Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Publicacións nas que colabora con Laureano Lambán Pardo (6)
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
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
2012
-
Diseño de un ejemplo interdisciplinar para las asignaturas de últimos cursos de la titulación "Grado en Informática"
Diseño de un ejemplo interdisciplinar para las asignaturas de últimos cursos de la titulación "Grado en Informática"
1995
-
Diagramas de Voronoi y Topología Digital
VI Encuentros de Geometría Computacional: Barcelona, 5-6-7 de julio de 1995. Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya. Actas