Una semántica basada en juegos para la programación lógica rebatible

Laura Andrea Cecchi ; director: Guillermo R. Simari.

2010.

iv, 221 págs. ; 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.

Disponible también en formato digital.

Incluye referencias bibliográficas.