Towards a higher reasoning level in Formalized Homological Algebra

  1. Aransay Azofra, Jesús María
  2. Ballarín, C.
  3. Rubio García, Julio
Book:
Calculemus 2003

Publisher: ARACNE EDITRICE

ISBN: 88-7999-545-6

Year of publication: 2003

Pages: 84-88

Type: Book chapter

GOOGLE SCHOLAR