Tesis Doctoral

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