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.

Bibliographic Details
Main Author: Ventura, Pablo Gabriel
Other Authors: Campercholi, Miguel Alejandro Carlos
Format: bachelorThesis
Language:spa
Published: 2016
Subjects:
Online Access:http://hdl.handle.net/11086/4164