Towards an automated proof of the Basic Perturbation Lemma

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

Éditorial: Universidad de Valladolid

Année de publication: 2002

Pages: 91-94

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

Type: Communication dans un congrès

DIALNET GOOGLE SCHOLAR
La source de données: Dialnet