Towards an automated proof of the Basic Perturbation Lemma

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

Argitaletxea: Universidad de Valladolid

Argitalpen urtea: 2002

Orrialdeak: 91-94

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

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet