Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ALLOY CALCULUS
1
ANALISIS DE ESPECIFICACIONES DE SOFTWARE
1
AUTOMATED REASONING
1
Aprendizaje significativo
1
CALCULO PARA ALLOY
1
COINDUCTIVE MODELS
1
Cursos numerosos
1
DECISION METHODS
1
DEMOSTRACION AUTOMATICA
1
DEMOSTRACION DE TEOREMAS INTERACTIVA
1
DIRECT RESOLUTION
1
Demostraciones experimentales
1
EXTRACTABILIDAD DE MODALIDADES
1
EXTRACTABILITY OF MODALITIES
1
FIRST-ORDER TRANSLATIONS
1
FORMAS NORMALES
1
HYBRID LOGICS
1
INTERACTIVE THEOREM PROVING
1
LOGICAS HIBRIDAS
1
METODOS DE DECISION
1
MODELOS COINDUCTIVOS
1
NORMAL FORMS
1
PVS
1
RESOLUCION DIRECTA
1
SAT-SOLVING
1
SPECIFICATION ANALYSIS
1
TRADUCCIONES A PRIMER ORDEN
1
Videos de química
1
-
1Materias: “...Demostraciones experimentales...”
Artículo artículo -
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