Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
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:
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | doctoralThesis |
Lenguaje: | Español |
Publicado: |
2016
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/2844 |
Aporte de: |
Sumario: | Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. |
---|