Towards an automated proof of the Basic Perturbation Lemma

  1. Jesús María Aransay
  2. Julio Rubio
  3. C. Ballarin
Llibre:
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

Any de publicació: 2002

Pàgines: 91-94

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

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet