Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
13
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theory of computation
Logic
9
Logic and verification
6
Coq
4
Forcing
4
Proof theory
4
Teoría de la computación
4
Lógica
3
Adecuación computacional
2
Algoritmo
2
Asistente de Prueba
2
Asistentes de prueba
2
Bracketing
2
Categorical semantics
2
Coherencia
2
Compilers
2
Computing methodologies
2
Constraint and logic programming
2
Constricción y programación lógica
2
Construcción de funciones heurísticas
2
Corrección de compiladores
2
Denotational semantics
2
Design and analysis of algorithms
2
Diseño de compiladores
2
Diseño de filtros
2
Diseño y análisis de algoritmos
2
Filter Design
2
Formal Verification
2
Formalización
2
Formalización de matemática
2
-
1por Morales, MarianelaMaterias: “...Modal and temporal logics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Morales, MarianelaMaterias: “...Modal and temporal logics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Saravia, Andrés RománMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
4por Saravia, Andrés RománMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
5por Trucco, Francisco CarlosMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
6por Trucco, Francisco CarlosMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
7por Steinberg, Matías UrielMaterias: “...Logic...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Steinberg, Matías UrielMaterias: “...Logic...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion bachelorThesis -
9por Tiraboschi, IgnacioMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
10por Tiraboschi, IgnacioMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
11por Incatasciato, Guillermo LuisMaterias: “...Logic...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
12por Gadea, Alejandro EmilioMaterias: “...Logic and verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
13por Gadea, Alejandro EmilioMaterias: “...Logic and verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
14por Acosta, Araceli NataliaMaterias: “...Deontic logic...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
15por Gunther, EmmanuelMaterias: “...Logic and verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
16por Gunther, EmmanuelMaterias: “...Logic and verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
17por Demarco Vedelago, LeandroMaterias: “...Constraint and logic programming...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
18por Demarco Vedelago, LeandroMaterias: “...Constraint and logic programming...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis