Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
17
Revistas
3
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Logic
Lógica
21
Theory of computation
9
Coq
4
Proof theory
4
Epistemology
3
Modelos
3
Politics
3
Política
3
Algoritmo
2
Anselm
2
Anselmo
2
Argumento ontológico
2
Asistente de Prueba
2
Asistentes de prueba
2
Bisimulation
2
Boolean
2
Borel space
2
Buridan
2
Buridán
2
Ciencias Informáticas
2
Conexión textual
2
Continuous probabilities
2
Decoherence
2
Event
2
Evento
2
Existence
2
Existencia
2
Forcing
2
Formal Verification
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 -
5
-
6por Saravia, Andrés Román
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
7
-
8por 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 -
9por 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 -
10por Mota, Sergio
Publicado 2014Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Artículo publishedVersion -
11por Simond, Hernán D.
Publicado 2014Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
12por Rabotnikof, Nora
Publicado 1995Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Artículo publishedVersion -
13por Ferreirós, José
Publicado 2020Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Artículo publishedVersion -
14por Gracher, Kherian
Publicado 2019Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Artículo publishedVersion -
15por Morales Harley, Roberto
Publicado 2012Aportado por: Memoria Académica - FaHCE (UNLP)Documento de conferencia publishedVersion -
16por Telinski Wiedermann Agner, Luciane, Ferreira Thomen, Marieli Aparecida, Utzig, Gabriel Mauricio, Wisniewski Soares, Inali
Publicado 2021Aportado por: SEDICI (UNLP)Articulo -
17
-
18
-
19
-
20