Towards an automated proof of the Basic Perturbation Lemma (Abstract)

  1. Aransay Azofra, Jesús María
  2. Ballarín, C.
  3. Rubio García, Julio
Aldizkaria:
Communications in Computer Algebra (SIGSAM Bulletin)

ISSN: 0163-5824

Argitalpen urtea: 2002

Orrialdeak: 218-218

Mota: Artikulua

GOOGLE SCHOLAR

Beste argitalpen batzuk: Communications in Computer Algebra (SIGSAM Bulletin)