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

Editorial: ARACNE EDITRICE

ISBN: 88-7999-545-6

Any de publicació: 2003

Pàgines: 84-88

Tipus: Capítol de llibre

GOOGLE SCHOLAR