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.
Mathematical Logic
10
Lógica matemática
6
Agda
2
Categoría funtorial
2
Ciencias Informáticas
2
Código intermedio
2
Deducción y prueba de teoremas
2
Deduction and Theorem Proving
2
Denotational semantics
2
Formal Languages
2
Lambda calculus and related systems
2
Lógica modal
2
Matemática
2
Natural Language Processing
2
Razonamiento automático
2
SMT
2
Semantics of Programming Languages
2
Semántica de lenguajes de programación
2
Semántica denotacional
2
Sistemas relacionados
2
Structure (mathematical logic)
2
Abstraction (linguistics)
1
Algebra
1
Bibliotecología
1
Branching (linguistics)
1
Central element
1
Ciencias Exactas
1
Citation analysis
1
Cocitation analysis
1
Conservative extension
1
-
1por Leberle, Maico CarlosMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Leberle, Maico CarlosMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Piloni, DiegoMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Piloni, DiegoMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por San Martín, Hernán JavierMaterias: “...Mathematical Logic...”
Publicado 2011
Aportado por: SEDICI (UNLP)Tesis Tesis de doctorado -
6por Estrebou, César ArmandoMaterias: “...Mathematical Logic...”
Publicado 2015
Aportado por: SEDICI (UNLP)Objeto de aprendizaje -
7Materias: “...MATHEMATICAL LOGIC AND FORMAL LANGUAGES...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
8por Orbe, Alejandro EzequielMaterias: “...Mathematical Logic...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
9por Orbe, Alejandro EzequielMaterias: “...Mathematical Logic...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
10por Sánchez Terraf, Pedro OctavioMaterias: “...Mathematical logic...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
11
-
12
-
13por Rodríguez, Leonardo MatíasMaterias: “...Mathematical Logic...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
14por Rodríguez, Leonardo MatíasMaterias: “...Mathematical Logic...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis