Gómez Lucero, Mauro Javier.
Formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico / Mauro Javier Gómez Lucero.
— 2011. 181 p. : il. ; 30 cm.
"Tesis de Doctor en Ciencias de la Computación".
Directores de tesis: Carlos I. Chesñevar y Guillermo R. Simari.
Tesis (doctoral)—Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación, 2011.
Incluye referencias bibliográficas.
|