Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
17
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
Filosofía de las ciencias
3
Teorías
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
Lógica modal
2
Matemáticas
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
3D orientation
1
Almacenamiento y transporte de residuos radioactivos
1
Artificial Neural Networks
1
Artificial vision
1
Deporte
1
Educación física
1
Espacios de Priestley
1
Espacios de Stone
1
Estructuras algebraicas
1
-
1por Schilman, Mauro
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Rodríguez, Leonardo Matías
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4por Tolaba, Denis Anibal
Publicado 2017Aportado por: Repositorio Institucional de Acceso Abierto (RIDAA)Artículo revista -
5por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
6por Schilman, Mauro
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Leberle, Maico Carlos
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Leberle, Maico Carlos
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9por Rodríguez, Leonardo Matías
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
10
-
11por Palau, Gladys
Publicado 1980Aportado por: Memoria Académica - FaHCE (UNLP)Artículo publishedVersion -
12por Palau, Gladys
Publicado 2004Aportado por: Memoria Académica - FaHCE (UNLP)Artículo publishedVersion -
13
-
14por Palau, Gladys
Publicado 2001Aportado por: Memoria Académica - FaHCE (UNLP)Artículo publishedVersion -
15
-
16por Bravo, Juan José
Publicado 2018Aportado por: Memoria Académica - FaHCE (UNLP)Tesis de maestría acceptedVersion -
17
-
18