Showing 1 - 20 results of 24 for search 'Hernández Quiroz, Francisco', query time: 0.03s Refine Results
  1. 1
    La preespecificacion mas debil
    by Hernandez Quiroz, Francisco
    Published 1994
    Get full text
    Get full text
    Tesis de licenciatura
  2. 2
    Sistema de reduccion compuestos. El caso de gamma
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de licenciatura
  3. 3
    Tecnicas para construir compiladores eficientes en Haskell
    by Leonides Jimenez, Laura Alicia
    Published 2005
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de licenciatura
  4. 4
    Encaje de las redes neuronales analogicas recurrentes en la jerarquia aritmetica y los lenguajes que aceptan segun la complejidad de sus pesos
    by Zenil Chávez, Hector
    Published 2005
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de licenciatura
  5. 5
    Analisis logico del flujo de informacion en el juego de domino
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  6. 6
    Una lógica dinámica epistémica para la comunicación asíncrona por canales inseguros
    by Góngora Luna, Pedro Arturo
    Published 2008
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  7. 7
    El concepto de implementación en la teoría de la conciencia de Chalmers
    by González García, Antonio
    Published 2009
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  8. 8
    Generación de modelos de persuasión con aserciones públicas
    by López Velázquez, Fabiola
    Published 2009
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  9. 9
    El conocimiento en el sudoku : un ejemplo de epistemología formal
    by Gutierrez Vivanco, Melisa
    Published 2012
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  10. 10
    Resultados en lógica de justificación y una implementación del teorema de elucidación
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  11. 11
    Lógica deóntica y temporalidad : el caso de Atl
    by Martínez Herrera, Francisco
    Published 2016
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  12. 12
    Aná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 justificaciones
    by Medina Vega, Rodrigo
    Published 2016
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  13. 13
    Racionalidad acotada, lógica y programación dinámica aplicadas a teoría de juegos
    by Espinosa Ávila, Eduardo
    Published 2017
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de doctorado
  14. 14
    La probabilidad algorítmica de Solomonoff a la luz de la navaja de Ockham y el principio de múltiple explicación de Epicuro
    by González Colín, Carlos
    Published 2021
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  15. 15
    Semantica de lenguajes paralelos de orden superior. El caso de GAMMA
    by Cruz Martínez, Gustavo de la
    Published 2002
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de licenciatura
  16. 16
    Distribución del aceleramiento no trivial en la demostración de sistemas axiomáticos aleatorios en el cálculo de proposiciones
    by Hernández Orozco, Santiago
    Published 2014
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  17. 17
    Algorithmic probability-driven and open-ended evolution
    by Hernández Orozco, Santiago
    Published 2018
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de doctorado
  18. 18
    Enumeración de programas
    by Acuña Yeomans, Eduardo
    Published 2022
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  19. 19
    Sobre la corrección de algoritmos de enumeración de n-ADAS para la enumeración de programas
    by Benítez Lluis, Luis Felipe
    Published 2022
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
  20. 20
    Diseño e implementación de un intérprete eficiente para ejecución masiva de programas
    by Zamora Gutiérrez, Víctor
    Published 2022
    Other Authors: “…Hernández Quiroz, Francisco…”
    Get full text
    Get full text
    Tesis de maestría
Search Tools: RSS Feed – Email Search