Towards an automated proof of the Basic Perturbation Lemma

  1. Jesús María Aransay
  2. Julio Rubio
  3. C. Ballarin
Libro:
Actas del EACA-2002: Octavo Encuentro de Álgebra Computacional y Aplicaciones, Peñaranda de Duero, 11-13 septiembre de 2002
  1. Giménez, Philippe (coord.)

Editorial: Universidad de Valladolid

Año de publicación: 2002

Páginas: 91-94

Congreso: Encuentro de Algebra Computacional y Aplicaciones (8. 2002. Peñaranda de Duero)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet