Use el DOI o este identificador para enlazar este recurso:
http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000709841
Autor: | Hernández Orozco, Santiago |
Asesor(es) : | Hernández Quiroz, Francisco Zenil Chávez, Héctor |
Título : | Distribución del aceleramiento no trivial en la demostración de sistemas axiomáticos aleatorios en el cálculo de proposiciones |
Area del conocimiento : | Ciencias Físico - Matemáticas y de las Ingenierías |
Fecha de publicación : | 2014 |
URI : | http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000709841 |
URL: | http://132.248.9.195/ptd2014/marzo/0709841/Index.html |
Páginas: | 1 recurso en línea (86 páginas) |
Grado : | Maestría en Ciencia e Ingeniería de la Computación |
Escuela o Facultad : | Programa de Posgrado en Ciencia e Ingeniería de la Computación |
Aparece en las colecciones: | Tesis de Maestría |
Texto completo:
Archivo | Descripción | Tamaño | Formato | |
---|---|---|---|---|
000709841.mrc | Registro bibliográfico en formato MARC | 1.5 kB | Unknown | Visualizar/Abrir |
0709841.pdf | Texto Completo | 1.02 MB | Adobe PDF | ![]() Visualizar/Abrir |
Este recurso está sujeto a una Licencia Creative Commons