Mechanizing proofs in Homological Algebra
- Aransay Azofra, Jesús María
- Ballarín, C.
- Rubio García, Julio
Aldizkaria:
SEKI Report - Universität des Saarlandes
ISSN: 1437-4447
Argitalpen urtea: 2002
Alea: SR - 02 - 06
Orrialdeak: 13-18
Mota: Artikulua