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
3
METODOS DE DECISION
3
MODELOS COINDUCTIVOS
3
NORMAL FORMS
3
RESOLUCION DIRECTA
3
TRADUCCIONES A PRIMER ORDEN
3
Automated Legislative Drafting
1
Automated program verification
1
Automatic analysis
1
Automation
1
Eclipse Integrated Development Environment
1
Eclipse plug-in
1
Education
1
Formal methods
1
Industrial adoption
1
Introductory programming course
1
Laws and legislation
1
Legal documents
1
Model Checking Regulations
1
Model checker
1
-
1Materias: “...Automated Legislative Drafting...”
-
2Materias: “...automated program verification...”
-
3por Gorín, Daniel AlejandroMaterias: “...AUTOMATED REASONING...”
Publicado 2009
Tesis doctoral publishedVersion -
4por Gorín, Daniel AlejandroMaterias: “...AUTOMATED REASONING...”
Publicado 2009
Tesis doctoral publishedVersion -
5