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.
Coq
4
Logic
4
Theory of computation
4
Asistente de Prueba
2
Asistentes de prueba
2
Formal Verification
2
Logic and verification
2
Lógicas Dinámicas
2
Lógicas Modales
2
Metaprogramación
2
Modal and temporal logics (High Relevance)
2
Mtac2
2
Proof theory
2
Type theory
2
Verificación Formal
2
Asistentes técnicos
1
Cumbia
1
Fotografía
1
Música tropical
1
Plomos
1
TLA+
1
aritmética de números enteros
1
asistente de pruebas
1
axiomas
1
verificación formal
1
-
1por Vanzetto, Hernán P.Materias: “...asistente de pruebas...”
Publicado 2014
bachelorThesis trabajo final de grado publishedVersion -
2por Martinetti, VictorioMaterias: “...Asistentes técnicos...”
Publicado 2018
bachelorThesis Tésis de Grado publishedVersion -
3por Trucco, Francisco CarlosMaterias: “...Asistente de Prueba...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
4por Trucco, Francisco CarlosMaterias: “...Asistente de Prueba...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
5por Tiraboschi, IgnacioMaterias: “...Asistentes de prueba...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
6por Tiraboschi, IgnacioMaterias: “...Asistentes de prueba...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion