Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
14
Revistas
1
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Lógica matemática
Mathematical Logic
6
Filosofía
4
Lógica
4
Categoría funtorial
3
Denotational semantics
3
Filosofía de las ciencias
3
Lambda calculus and related systems
3
Lógica modal
3
Mathematical logic
3
Semántica de lenguajes de programación
3
Semántica denotacional
3
Teorías
3
Agda
2
Código intermedio
2
Deducción y prueba de teoremas
2
Deduction and Theorem Proving
2
Matemática
2
Matemáticas
2
Razonamiento automático
2
SMT
2
Semantics of Programming Languages
2
Sistemas relacionados
2
Álgebra
2
3D orientation
1
Almacenamiento y transporte de residuos radioactivos
1
Artificial Neural Networks
1
Artificial vision
1
Categorías
1
Ciencias Exactas
1
-
1por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Schilman, Mauro
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Leberle, Maico Carlos
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Leberle, Maico Carlos
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Rodríguez, Leonardo Matías
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Palau, Gladys
Publicado 1980Aportado por: Memoria Académica - FaHCE (UNLP)Artículo publishedVersion -
7por Palau, Gladys
Publicado 2004Aportado por: Memoria Académica - FaHCE (UNLP)Artículo publishedVersion -
8por Palau, Gladys
Publicado 2001Aportado por: Memoria Académica - FaHCE (UNLP)Artículo publishedVersion -
9
-
10por Bravo, Juan José
Publicado 2018Aportado por: Memoria Académica - FaHCE (UNLP)Tesis de maestría acceptedVersion -
11
-
12por Schilman, Mauro
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
13por Rodríguez, Leonardo Matías
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
14por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
15por Tolaba, Denis Anibal
Publicado 2017Aportado por: Repositorio Institucional de Acceso Abierto (RIDAA)Artículo revista -
16
-
17
-
18
-
19por Díaz, Marcio Oscar
Publicado 2023Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
20