Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
10
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Mathematical Logic
Lógica matemática
6
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
Formal Languages
2
Lambda calculus and related systems
2
Lógica modal
2
Natural Language Processing
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
Ciencias Exactas
1
Ciencias Informáticas
1
Matemática
1
Numerical Linear Algebra
1
compuertas lógicas digitales
1
cálculo proposicional intuicionista
1
lógica
1
álgebra
1
-
1por Piloni, Diego
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3
-
4
-
5por Leberle, Maico Carlos
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Leberle, Maico Carlos
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Rodríguez, Leonardo Matías
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Rodríguez, Leonardo Matías
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
10por Piloni, Diego
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis