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.
Logic
4
Proof theory
4
Theory of computation
4
Algoritmo
2
Asistentes de prueba
2
Coq
2
Grafos
2
Metaprogramación
2
Modal logic
2
Modelos
2
Mtac2
2
Separation logic
2
Tableaux
2
Type theory
2
-
1por Saravia, Andrés RománMaterias: “...Proof theory...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
2por Saravia, Andrés RománMaterias: “...Proof theory...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
3por Tiraboschi, IgnacioMaterias: “...Proof theory...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
4por Tiraboschi, IgnacioMaterias: “...Proof theory...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion