Catálogo de publicaciones - tesis
Título de Acceso Abierto
Simetrías en razonamiento automático: el caso de las lógicas modales y satisfacibilidad módulo teorías
Alejandro Ezequiel Orbe Carlos Eduardo Areces
acceptedVersion.
Resumen/Descripción – provisto por el repositorio digital
Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.Palabras clave – provistas por el repositorio digital
Lógica matemática; Deducción y prueba de teoremas; Lógica modal; Mathematical Logic; Deduction and Theorem Proving; Razonamiento automático; SMT
Disponibilidad
Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
---|---|---|---|---|
No requiere | 2014 | Repositorio Digital Universitario (SNRD) |
Información
Tipo de recurso:
tesis
Idiomas de la publicación
- español castellano
País de edición
Argentina
Fecha de publicación
2014-03