An ACL2 formalization of algebraic structures

• Autores: Jónathan Heras Vicente , María Vico Pascual Martínez-Losa
• Localización: Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012 / Juan Rafael Sendra Pons (ed. lit.) , Carlos Villarino Cabellos (ed. lit.), 2012, ISBN 978-84-8138-770-4, págs. 103-106
• Idioma: español
• Texto completo no disponible (Saber más ...)