SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
Sistemas de tipos categóricos para recursión por curso de valores
Sinodales: FAVIO EZEQUIEL MIRANDA PEREA;
Autores: Enríquez Mendoza, JavierTipo de tesis: Tesis de MaestríaEntidad presentadora de examen profesional: Coordinación de Estudios de PosgradoEntidades por adscripción en la UNAM:
Facultad de Ciencias;