Towards an automated proof of the Basic Perturbation Lemma

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

Verlag: Universidad de Valladolid

Datum der Publikation: 2002

Seiten: 91-94

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

Art: Konferenz-Beitrag

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet