| 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. | * '''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. | ||
== Congresos == | == Congresos == | ||
== Proyectos == | == Proyectos == | ||
Revisión del 12:12 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.