Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theory of computation
6
Forcing
4
Logic and verification
4
Adecuación computacional
2
Bracketing
2
Categorical semantics
2
Coherencia
2
Compilers
2
Corrección de compiladores
2
Denotational semantics
2
Diseño de compiladores
2
Formal Languages
2
Formalización
2
Formalización de matemática
2
Hipótesis del continuo
2
Isabelle / ZF
2
Logic
2
Mathematical Logic
2
Mecanización
2
Natural Language Processing
2
Operational semantics
2
Programación con tipos dependientes
2
Relaciones lógicas
2
Relativización
2
Software and its engineering
2
Software verification
2
Teoría de conjuntos
2
Type Theory
2
-
1por Piloni, DiegoMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Piloni, DiegoMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Steinberg, Matías UrielMaterias: “...Logic...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Steinberg, Matías UrielMaterias: “...Logic...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion bachelorThesis -
5por Gadea, Alejandro EmilioMaterias: “...Logic and verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
6por Gadea, Alejandro EmilioMaterias: “...Logic and verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
7por Gunther, EmmanuelMaterias: “...Logic and verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
8por Gunther, EmmanuelMaterias: “...Logic and verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion