Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
@ operators
2
AUTOMATED REASONING
2
COINDUCTIVE MODELS
2
DECISION METHODS
2
DEMOSTRACION AUTOMATICA
2
DIRECT RESOLUTION
2
EXTRACTABILIDAD DE MODALIDADES
2
EXTRACTABILITY OF MODALITIES
2
FIRST-ORDER TRANSLATIONS
2
FORMAS NORMALES
2
Formal logic
2
HYBRID LOGICS
2
Higher-order modal logic
2
Hybrid logic
2
LOGICAS HIBRIDAS
2
METODOS DE DECISION
2
MODELOS COINDUCTIVOS
2
Modal logic
2
NORMAL FORMS
2
Nominals
2
RESOLUCION DIRECTA
2
TRADUCCIONES A PRIMER ORDEN
2
Type theory
2
Biomineralization
1
Calculations
1
Characterization
1
Characterization theorems
1
Computer simulation
1
Definability
1
Demostrador de teoremas
1
-
1Materias: “...Higher-order modal logic...”
Aportado por: Repositorio Digital Universitario (UNC)article -
2Materias: “...Higher-order modal logic...”
Aportado por: Repositorio Digital Universitario (UNC)article -
3Materias: “...Order and selection function constraints...”
-
4por Gorín, Daniel AlejandroMaterias: “...TRADUCCIONES A PRIMER ORDEN...”
Publicado 2009
Tesis doctoral publishedVersion -
5por Gorín, Daniel AlejandroMaterias: “...TRADUCCIONES A PRIMER ORDEN...”
Publicado 2009
Tesis doctoral publishedVersion -
6por Díaz, Marcio OscarMaterias: “...Lógica de primer orden...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7Materias: “...First order logic...”