Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logic
3
Modal logics
3
AUTOMATED REASONING
2
AXIOMATIZACION
2
AXIOMATIZATION
2
COINDUCTIVE MODELS
2
DECIDABILITY
2
DECIDIBILIDAD
2
DECISION METHODS
2
DEMOSTRACION AUTOMATICA
2
DIRECT RESOLUTION
2
EXPRESIVIDAD
2
EXPRESSIVITY
2
EXTRACTABILIDAD DE MODALIDADES
2
EXTRACTABILITY OF MODALITIES
2
Expressive power
2
FIRST-ORDER TRANSLATIONS
2
FORMAS NORMALES
2
Formal logic
2
HYBRID LOGICS
2
Hybrid logics
2
INTERPOLACION
2
INTERPOLATION
2
LOGIC
2
LOGICA
2
LOGICAS HIBRIDAS
2
Linguistics
2
MEMORIA
2
MEMORY
2
METODOS DE DECISION
2
-
1Materias: “...Hybrid logics...”
-
2por Areces, Carlos Eduardo, Figueira, Diego Federico, Figueira, Santiago Daniel, Mera, Sergio FernandoMaterias: “...Hybrid logics...”
Publicado 2008
-
3Materias: “...Modal logics...”
-
4Materias: “...Computational logic...”
-
5Materias: “...Modal logic...”
-
6Materias: “...Modal logic...”
-
7por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
8por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
9
-
10