Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ALLOY CALCULUS
2
ANALISIS DE ESPECIFICACIONES DE SOFTWARE
2
AUTOMATED REASONING
2
CALCULO PARA ALLOY
2
COINDUCTIVE MODELS
2
DECISION METHODS
2
DEMOSTRACION AUTOMATICA
2
DEMOSTRACION DE TEOREMAS INTERACTIVA
2
DIRECT RESOLUTION
2
EXTRACTABILIDAD DE MODALIDADES
2
EXTRACTABILITY OF MODALITIES
2
FIRST-ORDER TRANSLATIONS
2
FORMAS NORMALES
2
HYBRID LOGICS
2
INTERACTIVE THEOREM PROVING
2
LOGICAS HIBRIDAS
2
METODOS DE DECISION
2
MODELOS COINDUCTIVOS
2
NORMAL FORMS
2
PVS
2
RESOLUCION DIRECTA
2
SAT-SOLVING
2
SPECIFICATION ANALYSIS
2
TRADUCCIONES A PRIMER ORDEN
2
-
1por Moscato, Mariano MiguelMaterias: “...DEMOSTRACION DE TEOREMAS INTERACTIVA...”
Publicado 2013
Tesis doctoral publishedVersion -
2por Moscato, Mariano MiguelMaterias: “...DEMOSTRACION DE TEOREMAS INTERACTIVA...”
Publicado 2013
Tesis doctoral publishedVersion -
3por Gorín, Daniel AlejandroMaterias: “...DEMOSTRACION AUTOMATICA...”
Publicado 2009
Tesis doctoral publishedVersion -
4por Gorín, Daniel AlejandroMaterias: “...DEMOSTRACION AUTOMATICA...”
Publicado 2009
Tesis doctoral publishedVersion