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
Liburua:
Calculemus 2003

Argitaletxea: ARACNE EDITRICE

ISBN: 88-7999-545-6

Argitalpen urtea: 2003

Orrialdeak: 84-88

Mota: Liburuko kapitulua

GOOGLE SCHOLAR