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

Guardado en:
Otros Autores: Cecchi, Laura Andrea. (Disertante), Simari, Guillermo R. (Orientador)
Formato: Manuscrito
Idioma:Spanish
Publicado: 2010.
Materias:
Acceso en línea:Texto completo
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
descripción de la copia:"Tesis de Doctor en Ciencias de la Computación".
Descripción Física:iv, 221 p. ; 30 cm.
Disponible también en formato digital.
Bibliografía:Incluye referencias bibliográficas.