Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
AUTOMATED REASONING
1
AXIOMATIZACION
1
AXIOMATIZATION
1
COINDUCTIVE MODELS
1
DECIDABILITY
1
DECIDIBILIDAD
1
DECISION METHODS
1
DEMOSTRACION AUTOMATICA
1
DIRECT RESOLUTION
1
EXPRESIVIDAD
1
EXPRESSIVITY
1
EXTRACTABILIDAD DE MODALIDADES
1
EXTRACTABILITY OF MODALITIES
1
FIRST-ORDER TRANSLATIONS
1
FORMAS NORMALES
1
HYBRID LOGICS
1
INTERPOLACION
1
INTERPOLATION
1
LOGIC
1
LOGICA
1
LOGICAS HIBRIDAS
1
MEMORIA
1
MEMORY
1
METODOS DE DECISION
1
MODAL
1
MODELOS COINDUCTIVOS
1
NORMAL FORMS
1
RESOLUCION DIRECTA
1
TABLEAU
1
TRADUCCIONES A PRIMER ORDEN
1
-
1
-
2por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion