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.
Central element
2
Deducción y prueba de teoremas
2
Deduction and Theorem Proving
2
Definibilidad
2
Elemento central
2
Equational logic, Malʹcev conditions
2
Factor congruences
2
General algebraic systems
2
Interpolation, preservation, definability
2
Lógica matemática
2
Lógica modal
2
Mathematical Logic
2
Mathematical logic
2
Preservación
2
Razonamiento automático
2
SMT
2
-
1por Orbe, Alejandro EzequielMaterias: “...Mathematical Logic...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Orbe, Alejandro EzequielMaterias: “...Mathematical Logic...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3por Sánchez Terraf, Pedro OctavioMaterias: “...Mathematical logic...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4por Sánchez Terraf, Pedro OctavioMaterias: “...Mathematical logic...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis