(Página creada con «== Publicaciones == == Proyectos ==») |
|||
| Línea 1: | Línea 1: | ||
== Publicaciones == | == Publicaciones == | ||
* {J. Heras, F.J. Martín Mateos, V. Pascual} {Modelling Algebraic Structures and Morphisms in ACL2} {Applicable Algebra in Engineering, Communication and Computing (ISSN 0938-1279)} {Pendiente}{Pendiente}{Springer}{2015}{A} | |||
== Proyectos == | == Proyectos == | ||
Revisión del 12:09 12 jul 2021
Publicaciones
- {J. Heras, F.J. Martín Mateos, V. Pascual} {Modelling Algebraic Structures and Morphisms in ACL2} {Applicable Algebra in Engineering, Communication and Computing (ISSN 0938-1279)} {Pendiente}{Pendiente}{Springer}{2015}{A}