Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
19
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theory of computation
14
Logic
9
Mathematical Logic
6
Teoría de la computación
6
Lógica matemática
5
Coq
4
Proof theory
4
Separation logic
4
Lógica
3
Agda
2
Algoritmo
2
Arboles binarios
2
Asistente de Prueba
2
Asistentes de prueba
2
Base de datos
2
Categoría funtorial
2
Computing methodologies
2
Constraint and logic programming
2
Constricción y programación lógica
2
Construcción de funciones heurísticas
2
Código intermedio
2
Database theory
2
Denotational semantics
2
Design and analysis of algorithms
2
Diseño de filtros
2
Diseño y análisis de algoritmos
2
Filter Design
2
Forcing
2
Formal Languages
2
Formal Verification
2
-
1por Saravia, Andrés RománMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
2por Saravia, Andrés RománMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
3por Leberle, Maico CarlosMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Leberle, Maico CarlosMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Seiler, Nahuel GermánMaterias: “...Logic and databases...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Seiler, Nahuel GermánMaterias: “...Logic and databases...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Piloni, DiegoMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Piloni, DiegoMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9por Trucco, Francisco CarlosMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
10por Trucco, Francisco CarlosMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
11por Steinberg, Matías UrielMaterias: “...Logic...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
12por Steinberg, Matías UrielMaterias: “...Logic...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion bachelorThesis -
13por Tiraboschi, IgnacioMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
14por Tiraboschi, IgnacioMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
15por Díaz, Marcio OscarMaterias: “...Mathematical logic...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
16por Morales, MarianelaMaterias: “...Modal and temporal logics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
17por Morales, MarianelaMaterias: “...Modal and temporal logics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
18por Incatasciato, Guillermo LuisMaterias: “...Logic...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
19por Rearte, Lucas AgustínMaterias: “...Separation logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
20por Rearte, Lucas AgustínMaterias: “...Separation logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis