Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ALLOY CALCULUS
3
ANALISIS DE ESPECIFICACIONES DE SOFTWARE
3
AUTOMATED REASONING
3
CALCULO PARA ALLOY
3
COINDUCTIVE MODELS
3
DECISION METHODS
3
DEMOSTRACION AUTOMATICA
3
DEMOSTRACION DE TEOREMAS INTERACTIVA
3
DIRECT RESOLUTION
3
EXTRACTABILIDAD DE MODALIDADES
3
EXTRACTABILITY OF MODALITIES
3
FIRST-ORDER TRANSLATIONS
3
FORMAS NORMALES
3
HYBRID LOGICS
3
INTERACTIVE THEOREM PROVING
3
LOGICAS HIBRIDAS
3
METODOS DE DECISION
3
MODELOS COINDUCTIVOS
3
NORMAL FORMS
3
PVS
3
RESOLUCION DIRECTA
3
SAT-SOLVING
3
SPECIFICATION ANALYSIS
3
TRADUCCIONES A PRIMER ORDEN
3
Aprendizaje significativo
1
Cursos numerosos
1
Demostraciones experimentales
1
Videos de química
1
-
1Materias: “...Demostraciones experimentales...”
Artículo artículo -
2Materias: “...DEMOSTRACION (SEMI) AUTOMATICA DE TEOREMAS...”
Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)Tesis Libro -
3por Moscato, Mariano MiguelMaterias: “...DEMOSTRACION DE TEOREMAS INTERACTIVA...”
Publicado 2013
Tesis doctoral publishedVersion -
4por Moscato, Mariano MiguelMaterias: “...DEMOSTRACION DE TEOREMAS INTERACTIVA...”
Publicado 2013
Tesis doctoral publishedVersion -
5por Moscato, Mariano MiguelMaterias: “...DEMOSTRACION DE TEOREMAS INTERACTIVA...”
Publicado 2013
Tesis Doctoral -
6por Gorín, Daniel AlejandroMaterias: “...DEMOSTRACION AUTOMATICA...”
Publicado 2009
Tesis doctoral publishedVersion -
7por Gorín, Daniel AlejandroMaterias: “...DEMOSTRACION AUTOMATICA...”
Publicado 2009
Tesis doctoral publishedVersion -
8