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.
Deduction and Theorem Proving
4
Automatic Programming
2
Compilación
2
Concurrent Programming
2
Deducción y prueba de teoremas
2
Language Constructs and Features
2
Lógica matemática
2
Lógica modal
2
Mathematical Logic
2
Monitor
2
Optimización
2
Performance
2
Probador de teoremas
2
Programación concurrente
2
Razonamiento automático
2
Región crítica condicional
2
SMT
2
SMT solver
2
Semáforo binario dividido
2
Señal
2
Software
2
Buscar alternativas:
"Theorem proving" » "Theorem improving" (Expander búsqueda), "Theorem province" (Expander búsqueda)
"Theorem proving" » "Theorem improving" (Expander búsqueda), "Theorem province" (Expander búsqueda)
-
1por Orbe, Alejandro EzequielMaterias: “...Deduction and Theorem Proving...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Orbe, Alejandro EzequielMaterias: “...Deduction and Theorem Proving...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3por Barsotti, DamiánMaterias: “...Deduction and Theorem Proving...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4por Barsotti, DamiánMaterias: “...Deduction and Theorem Proving...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis