Francisco J. Martín Mateos
Investigación
Revisión del 12:11 12 jul 2021 de
Fmartin
(
discusión
|
contribs.
)
(
→Publicaciones
)
(
difs.
)
← Revisión anterior
|
Revisión actual
(
difs.
) |
Revisión siguiente →
(
difs.
)
Secciones
Publicaciones
Proyectos
Publicaciones
Modelling Algebraic Structures and Morphisms in ACL2, J. Heras, F.J. Martín Mateos, V. Pascual. Applicable Algebra in Engineering, Communication and Computing (ISSN 0938-1279) 26:3, 277-303, Springer, 2015.
Proyectos