Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden

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

Guardado en:
Detalles Bibliográficos
Autor principal: Ventura, Pablo Gabriel
Otros Autores: Campercholi, Miguel Alejandro Carlos
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2016
Materias:
Acceso en línea:http://hdl.handle.net/11086/4164
Aporte de:
Descripción
Sumario:Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2016.