Catálogo de publicaciones - tesis

Compartir en
redes sociales


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) acceso abierto

Información

Tipo de recurso:

tesis

Idiomas de la publicación

  • español castellano

País de edición

Argentina

Fecha de publicación

Cobertura temática