María Vico
Pascual Martínez-Losa
PROFESORA TITULAR DE UNIVERSIDAD
Francisco Jesús
Martín Mateos
Francisco Jesús Martín Mateos-rekin lankidetzan egindako argitalpenak (1)
2015
-
Modelling algebraic structures and morphisms in ACL2
Applicable Algebra in Engineering, Communications and Computing, Vol. 26, Núm. 3, pp. 277-303