Mostrando 1 - 20 Resultados de 24 Para Buscar 'Hernández Quiroz, Francisco', tiempo de consulta: 0.03s Limitar resultados
  1. 1
    La preespecificacion mas debil
    por Hernandez Quiroz, Francisco
    Publicado 1994
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  2. 2
    Sistema de reduccion compuestos. El caso de gamma
    por Bermudez Contreras, edgar Josue
    Publicado 2002
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  3. 3
    Tecnicas para construir compiladores eficientes en Haskell
    por Leonides Jimenez, Laura Alicia
    Publicado 2005
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    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
    por Zenil Chávez, Hector
    Publicado 2005
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  5. 5
    Analisis logico del flujo de informacion en el juego de domino
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  6. 6
    Una lógica dinámica epistémica para la comunicación asíncrona por canales inseguros
    por Góngora Luna, Pedro Arturo
    Publicado 2008
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  7. 7
    El concepto de implementación en la teoría de la conciencia de Chalmers
    por González García, Antonio
    Publicado 2009
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  8. 8
    Generación de modelos de persuasión con aserciones públicas
    por López Velázquez, Fabiola
    Publicado 2009
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  9. 9
    El conocimiento en el sudoku : un ejemplo de epistemología formal
    por Gutierrez Vivanco, Melisa
    Publicado 2012
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  10. 10
    Resultados en lógica de justificación y una implementación del teorema de elucidación
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  11. 11
    Lógica deóntica y temporalidad : el caso de Atl
    por Martínez Herrera, Francisco
    Publicado 2016
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    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
    por Medina Vega, Rodrigo
    Publicado 2016
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  13. 13
    Racionalidad acotada, lógica y programación dinámica aplicadas a teoría de juegos
    por Espinosa Ávila, Eduardo
    Publicado 2017
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    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
    por González Colín, Carlos
    Publicado 2021
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  15. 15
    Semantica de lenguajes paralelos de orden superior. El caso de GAMMA
    por Cruz Martínez, Gustavo de la
    Publicado 2002
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    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
    por Hernández Orozco, Santiago
    Publicado 2014
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  17. 17
    Algorithmic probability-driven and open-ended evolution
    por Hernández Orozco, Santiago
    Publicado 2018
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de doctorado
  18. 18
    Enumeración de programas
    por Acuña Yeomans, Eduardo
    Publicado 2022
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  19. 19
    Sobre la corrección de algoritmos de enumeración de n-ADAS para la enumeración de programas
    por Benítez Lluis, Luis Felipe
    Publicado 2022
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  20. 20
    Diseño e implementación de un intérprete eficiente para ejecución masiva de programas
    por Zamora Gutiérrez, Víctor
    Publicado 2022
    Otras Contribuciones: “…Hernández Quiroz, Francisco…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda