Razonamiento mecanizado en álgebra homológica

Tesis doctoral de Jesús María Aransay Azofra En la tesis se aborda el problema de obtener una versión certificada de […]

, , , , ,