Cecchi, Laura Andrea.
Una semántica basada en juegos para la programación lógica rebatible / Laura Andrea Cecchi ; director: Guillermo R. Simari.
— 2010. iv, 221 p. ; 30 cm.
"Tesis de Doctor en Ciencias de la Computación".
Tesis (doctoral)—Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación, 2011.
Incluye referencias bibliográficas.
|