Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
13
Revistas
3
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Logic
Lógica
17
Theory of computation
9
Coq
4
Proof theory
4
Epistemology
3
Modelos
3
Politics
3
Política
3
Algoritmo
2
Asistente de Prueba
2
Asistentes de prueba
2
Buridan
2
Buridán
2
Conexión textual
2
Forcing
2
Formal Verification
2
Formalización
2
Grafos
2
Hipótesis del continuo
2
Isabelle / ZF
2
Language
2
Lenguaje
2
Logic and verification
2
Logica
2
Lógicas Dinámicas
2
Lógicas Modales
2
Metaprogramación
2
Modal and temporal logics (High Relevance)
2
Modal logic
2
-
1
-
2por Tiraboschi, Ignacio
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
3por Steinberg, Matías Uriel
Publicado 2021Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Herszenbaun, Miguel; Consejo Nacional de Investigaciones Científicas y Técnicas Universidad Pedagógica Nacional Universidad de Buenos Aires
Publicado 2022Aportado por: Revistas UNNE - Universidad Nacional del Noroeste (UNNE)Artículo revista -
5por Saravia, Andrés Román
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
6
-
7por Roussos, Andrés, Etchebarne, Ignacio, Waizmann, Vanina, Braun, Malena, Jurkowski, Ludmila, Balbi, Paula, Guajardo, Viviana, Olivera, Julieta
Publicado 2014Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
8por Busaniche, Manuela
Publicado 2021Aportado por: Biblioteca Virtual - Tesis (UNL)info:ar-repo/semantics/plan de gestión de datos info:eu-repo/semantics/data management plan acceptedVersion -
9por Mota, Sergio
Publicado 2014Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Artículo publishedVersion -
10por Simond, Hernán D.
Publicado 2014Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
11por Rabotnikof, Nora
Publicado 1995Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Artículo publishedVersion -
12por Ferreirós, José
Publicado 2020Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Artículo publishedVersion -
13por Morales Harley, Roberto
Publicado 2012Aportado por: Memoria Académica - FaHCE (UNLP)Documento de conferencia publishedVersion -
14
-
15
-
16
-
17por Tiraboschi, Ignacio
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
18por Trucco, Francisco Carlos
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
19
-
20