First Efforts to Increase the Reliability of Kenzo Using ACL2

• Autores: M. Andrés, Laureano Lambán Pardo
• Localización: EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre / coord. por Óscar Cortadellas Izquierdo, José Gómez Torrecillas , F.J. Lobillo Borrero , 2008, págs. 111-114
• Idioma: español
• Texto completo no disponible (Saber más ...)