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
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
-
1
-
2por Martellotto, Paola, Novaira, Maria Marta, Bongiovanni, Mónica, Luna, Carlos Daniel
Publicado 2001Aportado por: SEDICI (UNLP)Objeto de conferencia -
3
-
4por Severín, Daniel Esteban
Publicado 2020conferenceObject documento de conferencia publishedVersion -
5
-
6
-
7
-
8por Tiraboschi, Ignacio
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
9por Trucco, Francisco Carlos
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
10por Tiraboschi, Ignacio
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)publishedVersion bachelorThesis -
11por Trucco, Francisco Carlos
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)publishedVersion bachelorThesis