Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Jesús María
Aransay Azofra
PROFESOR CONTRATADO DOCTOR -TIPO 1
Jesús María Aransay Azofra-rekin lankidetzan egindako argitalpenak (6)
2024
-
¿Puede un teorema ser acíclico?
Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 117, pp. 54-63
2023
-
Evasiveness Through Binary Decision Diagrams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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