Formalizing an abstract algebra textbook in Isabelle/HOL

• Autores: Jesús María Aransay Azofra, Jose Divasón Mallagaray
• 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. 47-50
• Idioma: español
• Texto completo no disponible (Saber más ...)