DATOS GENERALES | ||||||
|
||||||
NOMBRAMIENTOS | ||||||
|
||||||
ESTIMULOS, PROGRAMAS, PREMIOS Y RECONOCIMIENTOS
|
||||||
INFORMACIÓN DE PUBLICACIONES |
Firmas | |
Andrade Guzman, Jesus Mauricio |
Áreas de conocimiento | |
Logic Philosophy |
Coautorías con entidades de la UNAM
|
Revistas en las que ha publicado (1):
|
# | Título del documento | Autores | Año | Revista | Fuente | Citas WoS | Citas Scopus |
---|---|---|---|---|---|---|---|
1 | Natural deduction and semantic models of justification logic in the proof assistant COQ | 1ᵉʳ autor: Andrade Guzman, Jesus Mauricio, Hernandez Quiroz, Francisco | 2020 | Logic Journal Of The Igpl | WoS-id: 000595483300002 Scopus-id: 2-s2.0-85097493602 | 2 | 2 |
# | Título del libro | Título del capítulo | ISBN | Editorial | Año | Fuente |
---|