DATOS GENERALES | ||||||
|
||||||
NOMBRAMIENTOS | ||||||
|
||||||
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
|
||||||
INFORMACIÓN DE PUBLICACIONES |
Firmas | |
Góngora P. Góngora P.A. Gongora, PA | |
![]() |
|
36469919700 |
Áreas de conocimiento | |
Computer science, theory & methods Mathematical & computational biology Mathematics, applied Computer Science (miscellaneous) Computer Science Applications Plant Science |
Coautorías con entidades de la UNAM
|
Revistas en las que ha publicado (4):
|
# | Título del capítulo | Título del libro | Autores | Alcance | Año | ISBN | Fuente |
---|---|---|---|---|---|---|---|
1 | A complete proof system for a dynamic epistemic logic based upon finite p-calculus processes | Advances In Modal Logic 2006 | Góngora P.A., Hernández-Quiroz F., Ufferman E., | Conference Paper | 2010 | 1904987206 | Scopus-id: 2-s2.0-84858660094 |
# | Entidad | Nivel | Asignatura | Año | Semestre | Alumnos |
---|---|---|---|---|---|---|
1 | Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas | Maestría | DISEÑO Y ANÁLISIS DE ALGORITMOS | 2018 | 2019-1 | 2 |
2 | Facultad de Ingeniería | Licenciatura | ESTRUCTURA DATOS Y ALGORITMOS II | 2017 | 2017-2 | 5 |
3 | Facultad de Ingeniería | Licenciatura | ESTRUCTURAS DISCRETAS | 2017 | 2017-2 | 40 |
4 | Facultad de Ingeniería | Licenciatura | ESTRUCTURA DATOS Y ALGORITMOS II | 2016 | 2017-1 | 13 |
5 | Facultad de Ciencias | Licenciatura | LOGICAS NO CLASICAS | 2009 | 2010-1 | 22 |
6 | Facultad de Ciencias | Licenciatura | TEORIA DE LA COMPUTACION | 2009 | 2009-2 | 24 |
7 | Facultad de Ciencias | Licenciatura | LOGICAS NO CLASICAS | 2008 | 2009-1 | 13 |
# | Título del libro | Título del capítulo | ISBN | Editorial | Año | Fuente |
---|