Tesis Doctoral

Gorín, Daniel Alejandro. "Técnicas de razonamiento automático para lógicas híbridas" . (2009). Tesis Doctoral, Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.