An ACL2 formalization of algebraic structures

  1. Heras Vicente, Jónathan
  2. Pascual Martínez-Losa, María Vico
Buch:
Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012
  1. Sendra Pons, Juan Rafael (ed. lit.)
  2. Villarino Cabellos, Carlos (ed. lit.)

Verlag: Editorial Universidad de Alcalá ; Universidad de Alcalá

ISBN: 978-84-8138-770-4

Datum der Publikation: 2012

Seiten: 103-106

Kongress: Encuentro de Algebra Computacional y Aplicaciones (13. 2012. Alcalá de Henares)

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet