SISTEMA INTEGRAL DE INFORMACIÓN ACADÉMICA - PÚBLICO
Deducción natural en lógica modal : una implementación en Coq
Sinodales: FAVIO EZEQUIEL MIRANDA PEREA;
Autores: Linares Arévalo, Pilar SeleneTipo 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;