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.
Artificial intelligence
2
Automated legislative drafting
2
Compilación
2
Deontic Logic
2
Deontic logic
2
Language constructs
2
Laws and legislation
2
Legal documents
2
Legal modeling
2
Model checking
2
Model checking regulations
2
Monitor
2
Optimización
2
Performance
2
Performance improvements
2
Probador de teoremas
2
Programación concurrente
2
Real case
2
Región crítica condicional
2
SMT solver
2
Semáforo binario dividido
2
Señal
2
Software
2
Automatic Programming
1
Automatic programming
1
Concurrent Programming
1
Concurrent programming
1
Deduction and Theorem Proving
1
Deduction and theorem proving
1
Language Constructs and Features
1
-
1por Barsotti, DamiánMaterias: “...Language Constructs and Features...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2Publicado 2017Materias: “...Language constructs...”
-
3por Faciano, C., Di Iorio, A.H., Giaccaglia, M.F., Mera, S., Clara, B.L., Rua, M.B., Schapachnik, F., Uriarte, V., Marcos, C., Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; WeightmansMaterias: “...Language constructs...”
CONF -
4por Barsotti, DamiánMaterias: “...Language constructs and features...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis