FRANCISCO HERNANDEZ QUIROZ



DATOS GENERALES
Nombre completo   FRANCISCO HERNANDEZ QUIROZ
Máximo nivel de estudios   DOCTORADO
Antigüedad académica en la UNAM   28 años
NOMBRAMIENTOS
Vigente   PROFESOR DE CARRERA TITULAR C TC Definitivo
Facultad de Ciencias
Desde 16-08-2018
PROFESOR DE CARRERA TITULAR B TC Definitivo
Facultad de Ciencias
Desde 16-01-2014 hasta 15-08-2018
PROFESOR DE CARRERA TITULAR A TC Definitivo
Facultad de Ciencias
Desde 01-01-2009 hasta 15-01-2014
PROFESOR DE CARRERA TITULAR A TC Definitivo
Facultad de Ciencias
Desde 16-11-2008 hasta 31-12-2008
PROFESOR DE CARRERA ASOCIADO C TC Definitivo
Facultad de Ciencias
Desde 01-11-2008 hasta 15-11-2008
PROFESOR DE CARRERA ASOCIADO C TC No Definitivo
Facultad de Ciencias
Desde 01-01-2008 (fecha inicial de registros en el SIIA) hasta 30-10-2008
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
* SNI I2021 - VIGENTE
* SNI I2014 - 2016
* SNI I2009 - 2011
* PRIDE D2016 - 2024
INFORMACIÓN DE PUBLICACIONES
Firmas  
Hernandez Quiroz, Francisco Hernandez-Quiroz F. Hernández-Quiroz, F Hernández-Quiroz, F. Hernandez-Quiroz, Francisco
ID's SCOPUS  
23392688800
ORCID's  
0000-0002-9748-0201
Áreas de conocimiento  
Computer science, artificial intelligence Computer science, theory & methods Computer science, theory and methods Logic Physics, multidisciplinary
Applied mathematics Artificial intelligence Computer networks and communications Computer Science (miscellaneous) Hardware and architecture
Philosophy Physics and astronomy (miscellaneous)
Coautorías con entidades de la UNAM  
  • Instituto de Física
  • Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas
  • Facultad de Ciencias
  • Facultad de Ingeniería
  • Dirección General de Asuntos del Personal Académico
 Revistas en las que ha publicado  (12):
  1. ARTIFICIAL LIFE, Estados Unidos America (2018)
  2. COMPUTING AND INFORMATICS, (2018)
  3. ENTROPY, Suiza (2024)
  4. INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS, Reino Unido (2019)
  5. Journal Of Dynamics And Games, Estados Unidos America (2017)
  6. Lecture Notes in Computer Science, Suiza (2010, 2015, 2017)
  7. Logic and Logical Philosophy, Reino Unido (2024)
  8. Logic Journal Of The Igpl, Reino Unido (2020, 2021)
  9. Parallel Processing Letters, Singapur (2020)
  10. Proceedings Of The Iasted International Conference On Artificial Intelligence And Applications, Aia 2006, (2006)
  11. Studies In Applied Philosophy, Epistemology And Rational Ethics, (2013)
  12. THEORETICAL COMPUTER SCIENCE, Países Bajos (2022)


Descargar PDF

Documentos indexados (WoS y Scopus)

# Título del documento Autores Año Revista Fuente Citas WoS Citas Scopus
1Justification Logic and the Epistemic Contribution of Deduction2ᵒ autor y autor de correspondencia: Hernández-Quiroz, F, Hernández, NAN2024Logic and Logical PhilosophyWoS-id: 001180412800001
Scopus-id: 2-s2.0-85202925875
00
2An Additively Optimal Interpreter for Approximating Kolmogorov Prefix ComplexityCoautor y autor de correspondencia: Hernandez-Quiroz F., Leyva-Acosta Z., Acuña Yeomans E.2024ENTROPYWoS-id: 001323529500001
Scopus-id: 2-s2.0-85205261760
00
3Computable model discovery and high-level-programming approximations to algorithmic complexityCoautor: Hernandez-Quiroz, Francisco, Lemus, Vladimir, Acuña-Yeomans E., Zamora, Victor, et al.2022THEORETICAL COMPUTER SCIENCEWoS-id: 000880418500003
Scopus-id: 2-s2.0-85133285078
11
4Minimal abductive solutions with explicit justification2ᵒ autor: Hernandez-Quiroz, Francisco, Medina-Vega, Rodrigo, Velazquez-Quesada, Fernando R.2021Logic Journal Of The IgplWoS-id: 000734403000006
Scopus-id: 2-s2.0-85126931500
00
5Natural deduction and semantic models of justification logic in the proof assistant COQ2ᵒ autor y autor de correspondencia: Hernandez Quiroz, Francisco, Andrade Guzman, Jesus Mauricio2020Logic Journal Of The IgplWoS-id: 000595483300002
Scopus-id: 2-s2.0-85097493602
22
6Shortening of Proof Length is Elusive for Theorem Provers2ᵒ autor: Hernandez-Quiroz, Francisco, Hernandez-Orozco, Santiago, Zenil, Hector, Sieg, Wilfried2020Parallel Processing LettersWoS-id: 000610459200002
Scopus-id: 2-s2.0-85099080471
00
7Coding-theorem like behaviour and emergence of the universal distribution from resource-bounded algorithmic probabilityCoautor: Hernandez-Quiroz, Francisco, Zenil, Hector, Badillo, Liliana, Hernandez-Orozco, Santiago2019INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMSWoS-id: 000469876600001
Scopus-id: 2-s2.0-85045040805
1713
8Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence2ᵒ autor: Hernandez-Quiroz, Francisco, Hernandez-Orozco, Santiago, Zenil, Hector2018ARTIFICIAL LIFEWoS-id: 000424877500006
Scopus-id: 2-s2.0-85042761666
1314
9TOWARDS A FORMALIZATION OF A FRAMEWORK TO EXPRESS AND REASON ABOUT SOFTWARE ENGINEERING METHODSCoautor: Hernandez-Quiroz, Francisco, Morales-Trujillo, Miguel, Oktaba, Hanna, Escalante-Ramirez, Boris2018COMPUTING AND INFORMATICSWoS-id: 000435608400005
Scopus-id: 2-s2.0-85047756210
14
10GAME THEORY AND DYNAMIC PROGRAMMING IN ALTERNATE GAMESCoautor y autor de correspondencia: Hernandez-Quiroz, Francisco, Espinosa-Avila, Eduardo, Padilla Longoria, Pablo2017Journal Of Dynamics And GamesWoS-id: 000410731600003
Scopus-id: 2-s2.0-85044312612
01
11Is there any real substance to the claims for a ?new computationalism??2ᵒ autor: Hernández-Quiroz F., Hernández-Espinosa A., Zenil H.2017Lecture Notes in Computer ScienceWoS-id: 000446994000002
Scopus-id: 2-s2.0-85020869218
12
12Preface2ᵒ autor: Hernández-Quiroz F., Dediu A.-H., Martín-Vide C., Rosenblueth D.A.2015Lecture Notes in Computer ScienceScopus-id: 2-s2.0-84951177867
00
13Algorithms for Computational Biology: Second international conference, AlCoB 2015 Mexico City, Mexico, August 4-5, 2015 proceedings2ᵒ autor: Hernández-Quiroz F., Dediu A.-H., Martín-Vide C., Rosenblueth D.A.2015Lecture Notes in Computer ScienceScopus-id: 2-s2.0-84951205412
00
14Does the principle of computational equivalence overcome the objections against computationalism?2ᵒ autor y autor de correspondencia: Hernández-Quiroz, F., Hernández-Espinosa, A.2013Studies In Applied Philosophy, Epistemology And Rational EthicsScopus-id: 2-s2.0-85019680634
01
15Some constraints on the physical realizability of a mathematical construction1ᵉʳ autor: Hernández-Quiroz F., Padilla P.2013Studies In Applied Philosophy, Epistemology And Rational EthicsScopus-id: 2-s2.0-85019759216
00
16Formal semantics of a dynamic epistemic logic for describing knowledge properties of p-calculus processesCoautor y autor de correspondencia: Hernández-Quiroz F., Góngora P.A., Ufferman E.2010Lecture Notes in Computer ScienceScopus-id: 2-s2.0-77956518138
01
17Some semantics for a logical language for the game of dominoes2ᵒ autor y autor de correspondencia: Hernández-Quiroz F., Velázquez-Quesada F.R.2006Proceedings Of The Iasted International Conference On Artificial Intelligence And Applications, Aia 2006Scopus-id: 2-s2.0-38049162482
00
Descargar PDF

Documentos no indexados (Humanindex)

# Título del documento ISSN Revista Año Fuente
Descargar PDF

Capítulos de libros (WoS y Scopus)

# Título del capítulo Título del libro Autores Alcance Año ISBN Fuente
1The limits of decidable states on open-ended evolution and emergence*Proceedings Of The Artificial Life Conference 2016Hernández-Orozco S., Hernández-Quiroz F., Zenil H., et al.Conference Paper20169780262339360Scopus-id: 2-s2.0-85087109576
2Bounded rationality in a dynamic alternate gameProceedings Of The 14th Conference On Theoretical Aspects Of Rationality And Knowledge, Tark 2013Espinosa-Avila E., Hernández-Quiroz F., Schipper B.C., Conference Paper20139780615747163Scopus-id: 2-s2.0-85044325387
3Some constraints on the physical realizability of a mathematical constructionAisb/iacap World Congress 2012: Natural Computing/unconventional Computing And Its Philosophical Significance, Part Of Alan Turing Year 2012Hernández-Quiroz F., Padilla P., Conference Paper20129781908187246Scopus-id: 2-s2.0-84893181213
4Does the principle of computational equivalence overcome the objections against computationalism?Aisb/iacap World Congress 2012: Natural Computing/unconventional Computing And Its Philosophical Significance, Part Of Alan Turing Year 2012Hernández-Quiroz F., Hernández-Espinosa A., Conference Paper20129781908187246Scopus-id: 2-s2.0-84893195407
5A complete proof system for a dynamic epistemic logic based upon finite p-calculus processesAdvances In Modal Logic 2006Góngora P.A., Hernández-Quiroz F., Ufferman E., Conference Paper20101904987206 Scopus-id: 2-s2.0-84858660094
6On the possible computational power of the human mindWorldviews, Science And Us: Philosophy And ComplexityHernandez-Quiroz F., Zenil H., Capítulo de un Libro20079789812707420Scopus-id: 2-s2.0-84967669847
Descargar PDF

No se encuentran registros en la base de datos de obras con ISBN (Indautor).

Descargar PDF

No se encuentran registros en la base de datos de proyectos.

Descargar PDF

Participación en Comités de Tesis

# Título del documento Tipo de Tesis Sinodales Autores Año Entidad Url
1Máquinas que piensan causasTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; ALFONSO ARROYO SANTOS; CARLOS ALVAREZ JIMENEZ; Domínguez Horner, Alberto; 2024Facultad de Ciencias, Facultad de Filosofia y Letras,
2Lógica, creencias y normativida : el puente entre la lógica epistémica y la filosofíaTesis de DoctoradoFRANCISCO HERNANDEZ QUIROZ; Espinoza Coronel, Rosa María; 2024Facultad de Ciencias,
3Enumeración de programasTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; Acuña Yeomans, Eduardo; 2022Facultad de Ciencias,
4Sobre la corrección de algoritmos de enumeración de n-ADAS para la enumeración de programasTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; Benítez Lluis, Luis Felipe; 2022Facultad de Ciencias,
5Diseño e implementación de un intérprete eficiente para ejecución masiva de programasTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; Zamora Gutiérrez, Víctor; 2022Facultad de Ciencias,
6La probabilidad algorítmica de Solomonoff a la luz de la navaja de Ockham y el principio de múltiple explicación de EpicuroTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; González Colín, Carlos; 2021Facultad de Ciencias,
7Algorithmic probability-driven and open-ended evolutionTesis de DoctoradoFRANCISCO HERNANDEZ QUIROZ; Hernández Orozco, Santiago; 2018Facultad de Ciencias,
8Racionalidad acotada, lógica y programación dinámica aplicadas a teoría de juegosTesis de DoctoradoFRANCISCO HERNANDEZ QUIROZ; Espinosa Ávila, Eduardo; 2017Facultad de Ciencias,
9Lógica deóntica y temporalidad : el caso de AtlTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; Martínez Herrera, Francisco; 2016Facultad de Ciencias,
10Aná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 justificacionesTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; Medina Vega, Rodrigo; 2016Facultad de Ciencias,
11Un compilador correcto verificado de mini-ml a la máquina SECD en CoqTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; FAVIO EZEQUIEL MIRANDA PEREA; Zúñiga Chávez, Ángel Francisco; 2016Facultad de Ciencias,
12Resultados en lógica de justificación y una implementación del teorema de elucidaciónTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; Andrade Guzmán, Jesús Mauricio; 2015Facultad de Ciencias,
13Distribución del aceleramiento no trivial en la demostración de sistemas axiomáticos aleatorios en el cálculo de proposicionesTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; Hernández Orozco, Santiago; 2014Facultad de Ciencias,
14Intenciones : revisión y no-monotonicidadTesis de DoctoradoAXEL ARTURO BARCELO ASPEITIA; FRANCISCO HERNANDEZ QUIROZ; JESUS RAYMUNDO MORADO ESTRADA; Castro Manzano, José Martín; 2014Facultad de Ciencias, Instituto de Investigaciones Filosóficas,
15El conocimiento en el sudoku : un ejemplo de epistemología formalTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; Gutierrez Vivanco, Melisa; 2012Facultad de Ciencias,
16Programación dinámica puramente funcional : el caso de la memoizaciónTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; FAVIO EZEQUIEL MIRANDA PEREA; González Huesca, Lourdes del Carmen; 2010Facultad de Ciencias,
17El concepto de implementación en la teoría de la conciencia de ChalmersTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; González García, Antonio; 2009Facultad de Ciencias,
18Generación de modelos de persuasión con aserciones públicasTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; López Velázquez, Fabiola; 2009Facultad de Ciencias,
19Una lógica dinámica epistémica para la comunicación asíncrona por canales insegurosTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; Góngora Luna, Pedro Arturo; 2008Facultad de Ciencias,
20Tecnicas para construir compiladores eficientes en HaskellTesis de LicenciaturaFRANCISCO HERNANDEZ QUIROZ; Leonides Jimenez, Laura Alicia; 2005
21Encaje de las redes neuronales analogicas recurrentes en la jerarquia aritmetica y los lenguajes que aceptan segun la complejidad de sus pesosTesis de LicenciaturaFRANCISCO HERNANDEZ QUIROZ; Zenil Chávez, Hector; 2005
22Analisis logico del flujo de informacion en el juego de dominoTesis de MaestríaFRANCISCO HERNANDEZ QUIROZ; Velazquez Quesada, Fernando Raymundo; 2005
23Semantica de lenguajes paralelos de orden superior. El caso de GAMMATesis de LicenciaturaFRANCISCO HERNANDEZ QUIROZ; Cruz Martínez, Gustavo de la; 2002
24Sistema de reduccion compuestos. El caso de gammaTesis de LicenciaturaFRANCISCO HERNANDEZ QUIROZ; Bermudez Contreras, edgar Josue; 2002
Descargar PDF

Docencia Impartida

# Entidad Nivel Asignatura Año Semestre Alumnos
1Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20242024-29
2Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20242024-224
3Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20242024-244
4Facultad de Filosofia y LetrasMaestríaLÓGICA 120232024-110
5Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTÓMATAS Y LENGUAJES FORMALES20232024-119
6Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20232023-28
7Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20232023-239
8Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20232023-249
9Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACIÓN 220232023-21
10Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN I20232023-22
11Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO PARA LA OBTENCIÓN DEL GRADO20232023-28
12Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20222023-18
13Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTÓMATAS Y LENGUAJES FORMALES20222023-116
14Facultad de Filosofia y LetrasMaestríaLÓGICA 120222023-17
15Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACIÓN 120222023-11
16Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN I20222022-28
17Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO PARA LA OBTENCIÓN DEL GRADO20222022-26
18Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20222022-21
19Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20222022-21
20Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20222022-263
21Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20222022-258
22Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTÓMATAS Y LENGUAJES FORMALES20212022-118
23Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20212022-16
24Facultad de Filosofia y LetrasMaestríaLÓGICA 120212022-115
25Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20212021-216
26Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20212021-238
27Facultad de Filosofia y LetrasMaestríaLÓGICA 120202021-118
28Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN II20202021-13
29Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTÓMATAS Y LENGUAJES FORMALES20202021-115
30Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20202020-23
31Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN I20202020-213
32Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO PARA LA OBTENCIÓN DEL GRADO20202020-26
33Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20202020-232
34Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20202020-228
35Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACIÓN 220202020-21
36Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTÓMATAS Y LENGUAJES FORMALES20192020-122
37Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20192020-114
38Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20192020-11
39Facultad de Filosofia y LetrasMaestríaLÓGICA 120192020-117
40Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE FILOSOFÍA DE LAS MATEMÁTICAS Y LÓGICA DE LA CIENCIA 2 AUTÓMATAS Y LENGUAJES FORMALES20192020-12
41Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACIÓN 120192020-11
42Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20192020-16
43Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20182018-21
44Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20182018-245
45Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20182018-226
46Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20172018-110
47Facultad de Filosofia y LetrasMaestríaLOGICA 120172018-110
48Facultad de Filosofia y LetrasMaestríaTEORIA DEL CONOCIMIENTO20172018-116
49Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE FILOSOFIA DE LAS CIENCIAS COGNITIVAS 1,ACTION AND PERCEPTION20172018-14
50Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE FILOSOFÍA DE LA CIENCIA 3 NORMATIVIDAD Y AGENCIA EPISTÉMICA20172017-21
51Facultad de CienciasLicenciaturaCOMPLEJIDAD COMPUTACIONAL20172017-228
52Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20172017-21
53Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20172017-242
54Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20162017-16
55Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION II20162017-11
56Facultad de Filosofia y LetrasMaestríaLOGICA 120162017-116
57Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE FILOSOFIA DE LA CIENCIA 120162017-11
58Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE ESTUDIOS FILOSOFICOS Y SOCIALES SOBRE CIENCIA Y TECNOLOGIA 120162017-18
59Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20162016-24
60Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20162016-242
61Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20162016-229
62Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACION 220162016-22
63Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACION I20162016-28
64Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION I20162016-21
65Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE FILOSOFIA DE LAS MATEMATICAS Y LOGICA DE LA CIENCIA 220152016-14
66Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLOGICA COMPUTACIONAL20152016-18
67Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACION II20152016-13
68Facultad de Filosofia y LetrasMaestríaFILOSOFIA DE LA CIENCIA 120152016-118
69Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACION 120152016-12
70Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20152015-227
71Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20152015-227
72Facultad de CienciasLicenciaturaANALISIS LOGICO20152015-22
73Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20152015-213
74Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION III20152015-23
75Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACION I20152015-24
76Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20142015-15
77Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20142015-14
78Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION II20142015-13
79Facultad de Filosofia y LetrasMaestríaLOGICA 120142015-121
80Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20142014-28
81Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACION 220142014-21
82Facultad de CienciasLicenciaturaANALISIS LOGICO20142014-212
83Facultad de CienciasLicenciaturaCOMPLEJIDAD COMPUTACIONAL20142014-217
84Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION I20142014-24
85Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLOGICA MATEMATICA20142014-25
86Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION III20142014-21
87Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION II20132014-11
88Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20132014-121
89Facultad de CienciasLicenciaturaANALISIS LOGICO20132014-121
90Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20132014-122
91Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20132013-29
92Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20132013-215
93Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLOGICA MATEMATICA20132013-25
94Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION III20132013-21
95Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION II20122013-11
96Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20122013-133
97Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20122013-12
98Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20122013-146
99Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACION 220122012-21
100Facultad de CienciasLicenciaturaANALISIS LOGICO20122012-226
101Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION I20122012-21
102Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLOGICA MATEMATICA20122012-23
103Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE LOGICA20112012-11
104Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE FILOSOFIA DE LAS MATEMATICAS Y LOGICA DE LA CIENCIA 220112012-13
105Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20112012-123
106Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACION 120112012-11
107Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20112012-141
108Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE LA TEORIA DE LA COMPUTACION20112012-12
109Facultad de CienciasLicenciaturaANALISIS LOGICO20102010-215
110Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLOGICA MATEMATICA20102010-24
111Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS DE LOGICA20092010-11
112Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20092010-130
113Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20092010-125
114Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE LA TEORIA DE LA COMPUTACION20092010-13
115Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS B (LOGICA)20092010-13
116Facultad de CienciasLicenciaturaANALISIS LOGICO20092009-239
117Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLOGICA MATEMATICA20092009-25
118Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION III20092009-21
119Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION II20082009-11
120Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20082009-129
121Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20082009-141
122Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACION20082008-21
123Facultad de CienciasLicenciaturaANALISIS LOGICO20082008-221
124Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACION I20082008-21
125Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLOGICA MATEMATICA20082008-28
126Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS C (COMPUTACION Y NEUROCIENCIAS)20082008-22
127Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS B (LOGICA)20072008-15
128Facultad de Filosofia y LetrasMaestríaSEMINARIO MONOGRAFICO DE LOGICA20072008-16
129Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLOGICA MATEMATICA20072008-17
130Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20072008-135
131Facultad de Filosofia y LetrasMaestríaSEMINARIO DE TEMAS SELECTOS C (CIENCIA CONTEMPORANEA)20072008-13
Descargar PDF

No se encuentran registros en la base de datos de patentes.

Descargar PDF

No se encuentran registros en la base de datos de libros completos (Humanindex).

Descargar PDF

Capítulos de libros (Humanindex)

# Título del libro Título del capítulo ISBN Editorial Año Fuente