Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías

Mostrar todas las versiones(2)

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.

Guardado en:
Detalles Bibliográficos
Autor principal: Orbe, Alejandro Ezequiel
Otros Autores: Areces, Carlos Eduardo
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2016
Materias:
Lógica matemática
Deducción y prueba de teoremas
Lógica modal
Mathematical Logic
Deduction and Theorem Proving
Razonamiento automático
SMT
Acceso en línea:http://hdl.handle.net/11086/2844
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares