1. Repositorio de Tesis DGBSDI
  2. TESIUNAM
  3. Tesis de maestría
Use el DOI o este identificador para enlazar este recurso: https://hdl.handle.net/20.500.14330/TES01000729091
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.advisorAliseda, Atocha
dc.contributor.advisorMiranda Perea, Favio Ezequiel
dc.creatorLinares Arévalo, Pilar Selene
dc.date.issued2015
dc.identifier.urihttps://hdl.handle.net/20.500.14330/TES01000729091-
dc.format.extent1 recurso en línea (50 páginas)
dc.format.mediumcomputadora
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.source.urihttps://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000729091
dc.subject.classificationCiencias Físico - Matemáticas y de las Ingenierías
dc.titleDeducción natural en lógica modal : una implementación en Coq
dc.typeTesis de maestría
dcterms.contributorAliseda, Atocha::si::SinIdentificador::role::asesorTesis
dcterms.contributorMiranda Perea, Favio Ezequiel::si::SinIdentificador::role::asesorTesis
dcterms.creatorLinares Arévalo, Pilar Selene::si::SinIdentificador
dc.degree.nameMaestría en Ciencia e Ingeniería de la Computación
dc.degree.grantorUniversidad Nacional Autónoma de México
dc.identifier.urlhttp://132.248.9.195/ptd2015/mayo/0729091/Index.html
dc.format.supportrecurso en línea
dc.degree.departmentPrograma de Posgrado en Ciencia e Ingeniería de la Computación
dc.degree.levelMaestría
dc.rights.accessrightsAcceso en línea sin restricciones
dc.type.versionpublishedVersion
dc.publisher.locationMX
Aparece en las colecciones: Tesis de maestría

Texto completo:
Archivo Descripción Tamaño Formato  
000729091.mrcRegistro bibliográfico en formato MARC1.45 kBMARCVisualizar/Abrir
0729091.pdfTexto Completo735.8 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro sencillo del recurso


Este recurso está sujeto a una Licencia Creative Commons Creative Commons