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.
Lógica matemática
9
Mathematical Logic
6
Lógica modal
3
Agda
2
Categoría funtorial
2
Código intermedio
2
Deducción y prueba de teoremas
2
Deduction and Theorem Proving
2
Denotational semantics
2
Lambda calculus and related systems
2
Razonamiento automático
2
SMT
2
Semantics of Programming Languages
2
Semántica de lenguajes de programación
2
Semántica denotacional
2
Sistemas relacionados
2
Demostrador de teoremas
1
Lógica de primer orden
1
Lógica híbrida
1
Mathematical logic
1
Traducciones funcionales
1
-
1por Schilman, MauroMaterias: “...Lógica matemática...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Schilman, MauroMaterias: “...Lógica matemática...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Leberle, Maico CarlosMaterias: “...Lógica matemática...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Leberle, Maico CarlosMaterias: “...Lógica matemática...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Orbe, Alejandro EzequielMaterias: “...Lógica matemática...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
6por Orbe, Alejandro EzequielMaterias: “...Lógica matemática...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
7por Díaz, Marcio OscarMaterias: “...Lógica matemática...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Rodríguez, Leonardo MatíasMaterias: “...Lógica matemática...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9por Rodríguez, Leonardo MatíasMaterias: “...Lógica matemática...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis