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