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.

Bibliographic Details
Main Author: Orbe, Alejandro Ezequiel
Other Authors: Areces, Carlos Eduardo
Format: doctoralThesis
Language:spa
Published: 2016
Subjects:
Online Access:http://hdl.handle.net/11086/2844
Description
Summary:Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.