Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
10
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Coq
Logic
4
Theory of computation
4
Ciencias Informáticas
3
Android
2
Asistente de Prueba
2
Asistentes de prueba
2
Domination Chain
2
Formal Verification
2
Formalization of Mathematics
2
Graph theory
2
Logic and verification
2
Lógicas Dinámicas
2
Lógicas Modales
2
Mathematics of computing
2
Metaprogramación
2
Modal and temporal logics (High Relevance)
2
Mtac2
2
Proof theory
2
Real time
2
Teoría de Tipos
2
Type theory
2
Verificación Formal
2
https://purl.org/becyt/ford/1.1
2
Enseñanza de Programación
1
Enseñanza de la Programación
1
Formalización de la matemática
1
Funciones recursivas primitivas
1
IMC
1
JavaME
1
-
1por Tiraboschi, Ignacio
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
2
-
3por Martellotto, Paola, Novaira, Maria Marta, Bongiovanni, Mónica, Luna, Carlos Daniel
Publicado 2001Aportado por: SEDICI (UNLP)Objeto de conferencia -
4
-
5por Severín, Daniel Esteban
Publicado 2020conferenceObject documento de conferencia publishedVersion -
6
-
7
-
8
-
9por Tiraboschi, Ignacio
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
10por Trucco, Francisco Carlos
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
11por Trucco, Francisco Carlos
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion