FAVIO EZEQUIEL MIRANDA PEREA



DATOS GENERALES
Nombre completo   FAVIO EZEQUIEL MIRANDA PEREA
Máximo nivel de estudios   DOCTORADO
Antigüedad académica en la UNAM   26 años
NOMBRAMIENTOS
Vigente   PROFESOR DE CARRERA TITULAR B TC Definitivo
Facultad de Ciencias
Desde 16-03-2022
PROFESOR DE CARRERA TITULAR A TC Definitivo
Facultad de Ciencias
Desde 16-12-2016 hasta 15-03-2022
PROFESOR DE CARRERA ASOCIADO C TC Definitivo
Facultad de Ciencias
Desde 16-12-2015 hasta 15-12-2016
PROFESOR DE CARRERA ASOCIADO C TC No Definitivo
Facultad de Ciencias
Desde 01-01-2009 hasta 15-12-2015
PROFESOR DE CARRERA ASOCIADO C TC No Definitivo
Facultad de Ciencias
Desde 01-01-2008 (fecha inicial de registros en el SIIA) hasta 31-12-2008
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
* SNI I2022 - VIGENTE
* SNI C2009 - 2012
* PRIDE D2021 - 2024
INFORMACIÓN DE PUBLICACIONES
Firmas  
E. Miranda-Perea F. Miranda-Perea F.E. Miranda-Perea, F. E. Miranda-Perea, Favio E. Miranda-Perea, FE
ID's SCOPUS  
57761435000 6506203558
ORCID's  
0000-0003-0436-5034
Áreas de conocimiento  
Computer science, information systems Computer science, theory and methods Logic Mathematics Algebra and Number Theory
Computer Science (miscellaneous) Computer Science Applications Mathematics (miscellaneous) Philosophy
Coautorías con entidades de la UNAM  
  • Centro de Ciencias Matemáticas, Morelia Michoacán
  • Facultad de Ciencias
  • Coordinación de Estudios de Posgrado
  • Dirección General de Asuntos del Personal Académico
 Revistas en las que ha publicado  (10):
  1. CEUR Workshop Proceedings, Estados Unidos America (2020)
  2. COLLOQUIUM MATHEMATICUM, Polonia (2019)
  3. COMPUTACION Y SISTEMAS, México (2022, 2023)
  4. Electronic Notes in Theoretical Computer Science, Países Bajos (2005, 2009, 2020)
  5. FUNDAMENTA MATHEMATICAE, Polonia (2016)
  6. Journal Of Applied Non-Classical Logics, Francia (2019)
  7. Logic Journal Of The Igpl, Reino Unido (2020)
  8. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Estados Unidos America (2022)
  9. Philosophical Studies Series, Países Bajos (2022)
  10. RAIRO-THEOR INF APPL, Francia (2009)


Descargar PDF

Documentos indexados (WoS y Scopus)

# Título del documento Autores Año Revista Fuente Citas WoS Citas Scopus
1Fitch-Style Modal Necessity as a Substructural Sequent-Style System1ᵉʳ autor: Miranda-Perea, Favio E., Zavaleta X.E., del Carmen González Huesca L.2023COMPUTACION Y SISTEMASWoS-id: 001088282400025
Scopus-id: 2-s2.0-85163787632
00
2A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis1ᵉʳ autor: Miranda-Perea, Favio E., Omana Silva, Sammantha, Gonzalez Huesca, Lourdes del Carmen2022COMPUTACION Y SISTEMASWoS-id: 000822515500016
Scopus-id: 2-s2.0-85135739966
00
3On the Conciliation of Traditional and Computer-Assisted Proofs1ᵉʳ autor: E. Miranda-Perea F., Huesca L.C.G.2022Philosophical Studies SeriesWoS-id: 000869127700003
Scopus-id: 2-s2.0-85132676558
00
4A dual-context sequent calculus for the constructive modal logic S41ᵉʳ autor: Miranda-Perea F.E., González Huesca L.D.C., Linares Arévalo P.S.2022MATHEMATICAL STRUCTURES IN COMPUTER SCIENCEWoS-id: 000890051100001
Scopus-id: 2-s2.0-85151504847
00
5Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence2ᵒ autor: Miranda-Perea, Favio E., Gonzalez Huesca, Lourdes del Carmen, Selene Linares-Arevalo, P.2020Electronic Notes in Theoretical Computer ScienceWoS-id: 000529330600005
Scopus-id: 2-s2.0-85096483408
22
6On Interactive Proof-Search for Constructive Modal Necessity1ᵉʳ autor: Miranda-Perea F.E., Gonzalez Huesca, Lourdes del Carmen, Selene Linares-Arevalo, P.2020Electronic Notes in Theoretical Computer ScienceWoS-id: 000594383000009
Scopus-id: 2-s2.0-85114399587
22
7Interactive proof-search for equational reasoning1ᵉʳ autor: Miranda-Perea, Favio E., Gonzalez Huesca, Lourdes del Carmen, Selene Linares-Arevalo, P.2020Logic Journal Of The IgplWoS-id: 000595483300007
Scopus-id: 2-s2.0-85097508411
00
8On interactive proof-search for constructive modal necessity1ᵉʳ autor: Miranda-Perea F.E., González Huesca L.D.C., Selene Linares-Arévalo P.2020CEUR Workshop ProceedingsScopus-id: 2-s2.0-85083029923
00
9TOPOLOGICAL PROPERTIES OF INCOMPARABLE FAMILIESCoautor: Miranda-Perea, F. E., Campero-Arena, G., Cancino, J., Hrusak, M., et al.2019COLLOQUIUM MATHEMATICUMWoS-id: 000461758400010
Scopus-id: 2-s2.0-85067250231
00
10Axiomatic and dual systems for constructive necessity, a formally verified equivalence2ᵒ autor: Miranda-Perea F.E., González-Huesca L.D.C., Linares-Arévalo P.S.2019Journal Of Applied Non-Classical LogicsScopus-id: 2-s2.0-85070905675
07
11Incomparable families and maximal treesCoautor: Miranda-Perea, F. E., Campero-Arena, G., Cancino, J., Hrusak, M.2016FUNDAMENTA MATHEMATICAEWoS-id: 000384931900005
Scopus-id: 2-s2.0-84973655861
44
12TWO EXTENSIONS OF SYSTEM F WITH (CO)ITERATION AND PRIMITIVE (CO)RECURSION PRINCIPLES1ᵉʳ autor y autor de correspondencia: Miranda-Perea, FE2009RAIRO-THEOR INF APPLWoS-id: 000271470900003
Scopus-id: 2-s2.0-70449448809
10
13Some Remarks on Type Systems for Course-of-value Recursion1ᵉʳ autor y autor de correspondencia: Miranda-Perea F.E.2009Electronic Notes in Theoretical Computer ScienceScopus-id: 2-s2.0-67949102130
03
14Selective Memoization with Box Types1ᵉʳ autor: Miranda-Perea F.E., González-Huesca L.D.C.2009Electronic Notes in Theoretical Computer ScienceScopus-id: 2-s2.0-71649093088
00
15Realizability for monotone and clausular (Co)inductive definitions1ᵉʳ autor y autor de correspondencia: Miranda-Perea F.E.2005Electronic Notes in Theoretical Computer ScienceScopus-id: 2-s2.0-13944268829
08
Descargar PDF

Documentos no indexados (Humanindex)

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

No se encuentran registros en la base de datos de capítulos de libros (WoS y Scopus).

Descargar PDF

Obras con ISBN (Indautor)

# Título del documento Autores Alcance Año ISBN Fuente
1"lógica, Argumentación Y Pensamiento Crítico"Ramos Villegas, Pedro Arturo, Miranda Perea, Favio Ezequiel, Hernández Deciderio, Gabriela, et al.Libro Completo20199786078569694INDAUTOR
2"lógica, Argumentación Y Pensamiento Crítico"Ramos Villegas, Pedro Arturo, Miranda Perea, Favio Ezequiel, Hernández Deciderio, Gabriela, et al.Libro Completo20199786078631063INDAUTOR
3Matemáticas DiscretasMiranda Perea, Favio Ezequiel, Viso Gurovich, Elisa, Libro Completo20169786070280955INDAUTOR
4Teoría De Conjuntos. Curso IntermedioMiranda Perea, Favio Ezequiel, Campero Arena, Gabriela, Libro Completo20149786070256264INDAUTOR
5Matemáticas DiscretasViso Gurovich, Elisa, Miranda Perea, Favio Ezequiel, Libro Completo20109786070220050INDAUTOR
Descargar PDF

Proyectos

# Nombre Participantes Convocatoria Fecha Inicio Fecha Fin
1Sistema de Deducción natural para la lógica modal y su implementación en el asistente de prueba COQ.FAVIO EZEQUIEL MIRANDA PEREA,
Presupuesto de la UNAM asignado a la Dependencia01-01-201531-12-2020
2Tópicos en Ciencia de la Computación TeóricaFAVIO EZEQUIEL MIRANDA PEREA,
Recursos PAPIME01-01-201731-12-2018
3Lógicas no clásicas: aspectos deductivos de la computación a la filosofía.FAVIO EZEQUIEL MIRANDA PEREA,
Recursos PAPIIT01-01-202031-12-2022
4Lógicas no clásicas: aspectos deductivos de la computación a la filosofía IIFAVIO EZEQUIEL MIRANDA PEREA,
Recursos PAPIIT01-01-202331-12-2025
Descargar PDF

Participación en Comités de Tesis

# Título del documento Tipo de Tesis Sinodales Autores Año Entidad Url
1Una prueba de eliminación de corte para la lógica GLTesis de MaestríaFAVIO EZEQUIEL MIRANDA PEREA; Jaimes Urban, Ricardo; 2024Facultad de Ciencias,
2Seguridad de sistemas de tipos vía verificación de modelosTesis de MaestríaDAVID ARTURO ROSENBLUETH LAGUETTE; FAVIO EZEQUIEL MIRANDA PEREA; Soto Romero, Manuel; 2023Facultad de Ciencias, Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas,
3Sistemas de tipos categóricos para recursión por curso de valoresTesis de MaestríaFAVIO EZEQUIEL MIRANDA PEREA; Enríquez Mendoza, Javier; 2023Facultad de Ciencias,
4PiULL session types verification using COQTesis de MaestríaFAVIO EZEQUIEL MIRANDA PEREA; García López, Ciro Iván; 2022Facultad de Ciencias,
5Equivalencia en lenguajes de programación modales para S4Tesis de MaestríaFAVIO EZEQUIEL MIRANDA PEREA; Estrada Zavaleta, Ximena; 2021Facultad de Ciencias,
6Síntesis interactiva de programas con tipos modalesTesis de MaestríaFAVIO EZEQUIEL MIRANDA PEREA; Omaña Silva, Sammantha; 2021Facultad de Ciencias,
7Verificación formal del cálculo ?SF en CoqTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Torres Ruiz, Mateo Alberto; 2019Facultad de Ciencias,
8Manual de laboratorio para el uso de Estructuras DiscretasTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Calderón Pérez, Daniela; 2019Facultad de Ciencias,
9Verificación formal del zipper relacional simétricoTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Galicia Mendoza, Fernando Abigail; 2018Facultad de Ciencias,
10Verificación formal en lógica modalTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Prieto Larios, Estefanía; 2018Facultad de Ciencias,
11Inductive and coinductive types in homotopy type theory : an experiment on the knaster-tarski constructionTesis de MaestríaFAVIO EZEQUIEL MIRANDA PEREA; Domínguez Sánchez, Jesús Héctor; 2017Facultad de Ciencias,
12Una implementación polimórfica de ISWIMTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Murillo Albarrán, Diego; 2017Facultad de Ciencias,
13La equivalencia entre lógica y autómatasTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Zenil Rivas, Pablo Enrique; 2016Facultad de Ciencias,
14Un 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,
15Mónadas en la programación funcional : una prueba formal de su equivalencia con las ternas de KleisliTesis de LicenciaturaDIANA AVELLA ALAMINOS; LOURDES DEL CARMEN GONZALEZ HUESCA; PILAR SELENE LINARES AREVALO; FAVIO EZEQUIEL MIRANDA PEREA; et al.Vázquez Reyes, Cenobio Moisés; 2016Coordinación de Estudios de Posgrado, Facultad de Ciencias,
16Deducción natural en lógica modal : una implementación en CoqTesis de MaestríaFAVIO EZEQUIEL MIRANDA PEREA; Linares Arévalo, Pilar Selene; 2015Facultad de Ciencias,
17Manufactura de tipos de datos mediante multiconjuntosTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Lauro Aguilar, Martha Daniela Abigail; 2015Facultad de Ciencias,
18Implementaciones funcionales de árboles roji-negrosTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; López Campos, Graciela; 2015Facultad de Ciencias,
19Listas de acceso aleatorioTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Enríquez Lavida, Francisco Javier; 2015Facultad de Ciencias,
20Tipos anidados para estructuras cíclicas puramente funcionalesTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Morales Huitrón, Alejandro Ehecatl; 2014Facultad de Ciencias,
21La reducción de la teoría de tipos de hintikka a la lógica de segundo ordenTesis de MaestríaFAVIO EZEQUIEL MIRANDA PEREA; Salinas Rodríguez, Mauricio; 2014Facultad de Ciencias,
22Una implementación funcional de máquinas de TuringTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Ramos Ramos, José; 2012Facultad de Ciencias,
23El lenguaje java peso pluma, la esencia del paradigma orientado a objetosTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Mendoza Aguilar, Eduardo; 2012Facultad de Ciencias,
24El contenido computacional de la lógica clásica a través de los cálculos ?C Y ?µ con tiposTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Hernández, Noé Salomón; 2012Facultad de Ciencias,
25Comónadas y autómatas celularesTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Fernández Sumano, Diego; 2012Facultad de Ciencias,
26Métodos formales ligeros : especificación de un sistema de correo electrónico en el analizador AlloyTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Cortés Ortiz, Juan Carlos; 2011Facultad de Ciencias,
27Métodos formales ligeros : especificación de un sistema de elevadores en el analizador AlloyTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Jiménez del Valle, Rodrigo; 2011Facultad de Ciencias,
28Programació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,
29Instituciones y [pi]-instituciones : formalización categórica de la noción de estructura lógicaTesis de MaestríaFAVIO EZEQUIEL MIRANDA PEREA; Chávez Aguilera, Cecilia; 2009Facultad de Ciencias,
30El isomorfismo de Curry Howard, un fundamento lógico para la programación funcionalTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Pacheco Gómez, Eduardo Gerónimo; 2008Facultad de Ciencias,
31Coinduccion : de la teoria de categorias a la programacion funcionalTesis de LicenciaturaFAVIO EZEQUIEL MIRANDA PEREA; Gonzalez Huesca, Lourdes del Carmen; 2007
Descargar PDF

Docencia Impartida

# Entidad Nivel Asignatura Año Semestre Alumnos
1Facultad de CienciasLicenciaturaSEM.D CIENCIAS DE LA COMPUTACION A20242024-28
2Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE TEORÍA DE LA COMPUTACIÓN (SEMÁNTICA DE LENGUAJES DE PROGRAMACIÓN)20242024-21
3Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO PARA LA OBTENCIÓN DEL GRADO20242024-22
4Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN I20242024-26
5Facultad de CienciasLicenciaturaSEM.D CIENCIAS DE LA COMPUTACION B20232024-110
6Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaCOLOQUIO DE INVESTIGACIÓN II20232024-12
7Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20232024-14
8Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE TEORÍA DE LA COMPUTACIÓN (PROGRAMACIÓN FUNCIONAL)20232023-22
9Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20232023-22
10Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20232023-219
11Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLÓGICA COMPUTACIONAL20222023-19
12Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20222023-125
13Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE TEORÍA DE LA COMPUTACIÓN20222022-22
14Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20222022-25
15Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20222022-250
16Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20222022-20
17Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN II20212022-11
18Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20212022-139
19Facultad de CienciasMaestríaTEMAS SELECTOS DE MATEMÁTICAS DISCRETAS I20212022-13
20Facultad de Filosofia y LetrasMaestríaSEMINARIO DE INVESTIGACIÓN 220212021-21
21Facultad de CienciasMaestríaTEMAS SELECTOS DE MATEMÁTICAS DISCRETAS I TEORIA DE LA PRUEBA Y SUS APLICACIONES20212021-28
22Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20212021-21
23Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20212021-21
24Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20212021-260
25Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20202021-112
26Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE TEORÍA DE LA COMPUTACIÓN (VERIFICACIÓN FORMAL)20202021-17
27Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20202020-216
28Facultad de CienciasLicenciaturaPROGRAMACION DECLARATIVA20202020-224
29Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20192020-137
30Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN II20192020-12
31Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE TEORÍA DE LA COMPUTACIÓN (SEMANTICA DE LENGUAJES DE PROGRAMACIÓN)20192020-14
32Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaSEMINARIO DE INVESTIGACIÓN I20192019-22
33Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE TEORÍA DE LA COMPUTACIÓN (VERIFICACIÓN FORMAL)20192019-24
34Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20192019-22
35Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20192019-239
36Facultad de CienciasLicenciaturaAUTOMATAS Y LENGUAJES FORMALES20182019-120
37Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20182019-136
38Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20182019-119
39Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20182019-110
40Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20182019-12
41Facultad de CienciasLicenciaturaSEMANTICA Y VERIFICACION20172017-214
42Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE TEORÍA DE LA COMPUTACIÓN ESPECIFICACION FORMAL20172017-23
43Facultad de CienciasLicenciaturaESTRUCTURAS DISCRETAS20162017-138
44Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20162017-130
45Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaLOGICA COMPUTACIONAL20162017-113
46Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaTEMAS SELECTOS DE TEORIA DE LA COMPUTACION20162016-24
47Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20162016-245
48Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20152016-127
49Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaAUTOMATAS Y LENGUAJES FORMALES20152016-121
50Facultad de CienciasLicenciaturaSEMINARIO DE COMPUTACION TEORICA II20152015-22
51Facultad de CienciasLicenciaturaANALISIS LOGICO20152015-21
52Facultad de CienciasLicenciaturaRAZONAMIENTO AUTOMATIZADO20152015-29
53Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20152015-239
54Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20142015-18
55Facultad de CienciasLicenciaturaESTRUCTURAS DISCRETAS20142015-146
56Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20142015-113
57Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaESPECIFICACION FORMAL20142014-24
58Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20142014-225
59Facultad de CienciasLicenciaturaSEMANTICA Y VERIFICACION20142014-25
60Facultad de CienciasLicenciaturaANALISIS LOGICO20142014-26
61Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20132014-116
62Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20132014-112
63Instituto de Investigaciones en Matemáticas Aplicadas y en SistemasMaestríaPROGRAMACION FUNCIONAL20132014-17
64Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20132013-225
65Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAMACION20132013-21
66Facultad de CienciasLicenciaturaLOGICA COMPUTACIONAL20132013-224
67Facultad de CienciasLicenciaturaANALISIS LOGICO20132013-212
68Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20122013-15
69Facultad de CienciasLicenciaturaSEMINARIO DE COMPUTACION TEORICA II20122013-16
70Facultad de CienciasLicenciaturaESTRUCTURAS DISCRETAS20122013-137
71Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20122012-219
72Facultad de CienciasLicenciaturaANALISIS LOGICO20122012-253
73Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20112012-135
74Facultad de CienciasLicenciaturaPROGRAMACION FUNCION.LOGICA20112012-117
75Facultad de CienciasLicenciaturaANALISIS LOGICO20112011-230
76Facultad de CienciasLicenciaturaSEM. DE COMPUTACION TEORICA20112011-212
77Facultad de CienciasLicenciaturaTEORIA DE LA COMPUTACION20102011-123
78Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20102011-147
79Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20102010-226
80Facultad de CienciasLicenciaturaANALISIS LOGICO20102010-240
81Facultad de CienciasLicenciaturaSEM. TEMAS SELECTOS COMPUTACION II20092010-18
82Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20092010-140
83Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20092009-227
84Facultad de CienciasMaestríaCURSO AVANZADO DE MATEMATICAS DISCRETAS20092009-21
85Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20082009-144
86Facultad de CienciasLicenciaturaSEM. DE PROGRAMACION20082009-111
87Facultad de CienciasLicenciaturaANALISIS LOGICO20082008-246
88Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20082008-231
89Facultad de CienciasLicenciaturaMATEMATICAS DISCRETAS20072008-127
90Facultad de CienciasLicenciaturaLENGUAJES DE PROGRAM.PARADIG20072008-116
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