Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
16
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logics
3
@ operators
2
Biorthogonality
2
Characterization
2
Compiler verification
2
Complexity
2
Definability
2
Dynamic logics
2
Expressivity
2
Higher-order modal logic
2
Hybrid logic
2
Lógica
2
Modal logic
2
Model theory
2
Nominals
2
Proof assistants
2
Saturation
2
Separation
2
Simulation
2
Step-indexed logical relations
2
Type theory
2
Agrícola, Rodolfo
1
Alonso of Veracruz
1
América Latina
1
Análisis de correspondencias
1
Análisis organoléptico
1
Aristotle
1
Aristóteles
1
Audit
1
Auditoría
1
-
1
-
2
-
3por Hurtado Hurtado, JoshuaMaterias: “...Logics of Critical Explanation...”
Publicado 2018
article artículo publishedVersion -
4
-
5
-
6Materias: “...Logical characterization...”
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
7
-
8
-
9
-
10Materias: “...professional logic...”
article artículo publishedVersion -
11Materias: “...Step-indexed logical relations...”
Aportado por: Repositorio Digital Universitario (UNC)article -
12Materias: “...Step-indexed logical relations...”
Aportado por: Repositorio Digital Universitario (UNC)article -
13por Gaibazzi, Mariá FlorenciaMaterias: “...Logical security...”
Publicado 2013
article artículo publishedVersion -
14por Chaves Peña, DanielMaterias: “...Logical form...”
Publicado 2021
article artículo publishedVersion -
15
-
16por Liberati, JorgeMaterias: “...Logical tendency...”
Publicado 2004
Aportado por: Biblioteca Digitalarticle Artículo publishedVersion -
17por Wyllie, GuilhermeMaterias: “...Colonial scholastic logic...”
Publicado 2015
Aportado por: Biblioteca Digitalarticle Artículo publishedVersion