Towards an automated proof of the Basic Perturbation Lemma

• Autores: Jesús María Aransay Azofra , Julio Rubio García , Clemens Ballarin
• Localización: Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002 / coord. por Philippe Giménez , 2002, págs. 91-94
• Idioma: inglés
• Texto completo no disponible (Saber más ...)