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