| Línea 1: | Línea 1: | ||
== Publicaciones == | == 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 == | == Proyectos == | ||
Revisión del 12:11 12 jul 2021
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.