1. Repositorio de Tesis DGBSDI

Buscar por Asesor Hernández Quiroz, Francisco

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 1 a 17 de 17
Vista previaTítuloSustentanteFecha de publicación
0773588.pdf.jpgAlgorithmic probability-driven and open-ended evolutionHernández Orozco, Santiago2018
0750511.pdf.jpgAnálisis epistémico del sistema distribuido Listener-Teller : una instancia de omnisciencia lógica en inteligencia artificial y una aplicación de la lógica de justificacionesMedina Vega, Rodrigo2016
0824186.pdf.jpgDiseño e implementación de un intérprete eficiente para ejecución masiva de programasZamora Gutiérrez, Víctor2022
0709841.pdf.jpgDistribución del aceleramiento no trivial en la demostración de sistemas axiomáticos aleatorios en el cálculo de proposicionesHernández Orozco, Santiago2014
0638845_A1.pdf.jpgEl concepto de implementación en la teoría de la conciencia de ChalmersGonzález García, Antonio2009
0686341.pdf.jpgEl conocimiento en el sudoku : un ejemplo de epistemología formalGutierrez Vivanco, Melisa2012
0821083.pdf.jpgEnumeración de programasAcuña Yeomans, Eduardo2022
0655257_A1.pdf.jpgGeneración de modelos de persuasión con aserciones públicasLópez Velázquez, Fabiola2009
0715305.pdf.jpgIntenciones : revisión y no-monotonicidadCastro Manzano, José Martín2014
La probabilidad algorítmica de Solomonoff a la luz de la navaja de Ockham y el principio de múltiple explicación de EpicuroGonzález Colín, Carlos2021
0747574.pdf.jpgLógica deóntica y temporalidad : el caso de AtlMartínez Herrera, Francisco2016
0653610_A1.pdf.jpgProgramación dinámica puramente funcional : el caso de la memoizaciónGonzález Huesca, Lourdes del Carmen2010
0766431.pdf.jpgRacionalidad acotada, lógica y programación dinámica aplicadas a teoría de juegosEspinosa Ávila, Eduardo2017
0739257.pdf.jpgResultados en lógica de justificación y una implementación del teorema de elucidaciónAndrade Guzmán, Jesús Mauricio2015
0821412.pdf.jpgSobre la corrección de algoritmos de enumeración de n-ADAS para la enumeración de programasBenítez Lluis, Luis Felipe2022
0744277.pdf.jpgUn compilador correcto verificado de mini-ml a la máquina SECD en CoqZúñiga Chávez, Ángel Francisco2016
0629830_A1.pdf.jpgUna lógica dinámica epistémica para la comunicación asíncrona por canales insegurosGóngora Luna, Pedro Arturo2008
Mostrando resultados 1 a 17 de 17