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
8
Mathematical logic
4
Lógica modal
3
MATHEMATICAL LOGIC
3
Agda
2
Categoría funtorial
2
Central element
2
Ciencias Informáticas
2
Código intermedio
2
Deducción y prueba de teoremas
2
Deduction and Theorem Proving
2
Definibilidad
2
Denotational semantics
2
Elemento central
2
Equational logic, Malʹcev conditions
2
Factor congruences
2
Formal Languages
2
General algebraic systems
2
Interpolation, preservation, definability
2
Lambda calculus and related systems
2
Matemática
2
Natural Language Processing
2
Preservación
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
-
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 Cignoli, RobertoMaterias: “...Mathematical logic...”
Publicado 1970
Aportado por: Bibliotecas (UNCuyo)Libro -
4por Rosenbloom, Paul C.Materias: “...Mathematical logic. inist...”
Publicado 1950
Aportado por: Bibliotecas (UNCuyo)Libro -
5por Piloni, DiegoMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Piloni, DiegoMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por San Martín, Hernán JavierMaterias: “...Mathematical Logic...”
Publicado 2011
Aportado por: SEDICI (UNLP)Tesis Tesis de doctorado -
8por Estrebou, César ArmandoMaterias: “...Mathematical Logic...”
Publicado 2015
Aportado por: SEDICI (UNLP)Objeto de aprendizaje -
9Materias: “...MATHEMATICAL LOGIC AND FORMAL LANGUAGES...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
10por Orbe, Alejandro EzequielMaterias: “...Mathematical Logic...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
11por Orbe, Alejandro EzequielMaterias: “...Mathematical Logic...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
12por Díaz, Marcio OscarMaterias: “...Mathematical logic...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
13por Sánchez Terraf, Pedro OctavioMaterias: “...Mathematical logic...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
14por Sánchez Terraf, Pedro OctavioMaterias: “...Mathematical logic...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
15
-
16
-
17por Rodríguez, Leonardo MatíasMaterias: “...Mathematical Logic...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
18por Rodríguez, Leonardo MatíasMaterias: “...Mathematical Logic...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
19Publicado 2017Materias: “...Unsolvability (Mathematical logic)...”
Aportado por: Biblioteca Max von Buch (UdeSA)Libro electrónico -
20por Carnevale, Federico J.Materias: “...Mathematical logic...”
Publicado 2010
Tesis NonPeerReviewed