Un esquema de programación lógicofuncional con restricciones: marco teórico y aplicación a la depuración declarativa : marco teórico y aplicación a la depuración declarativa - Vado Vírseda, Rafael del.; Rodríguez Artalejo, Marío (Madrid : Universidad Complutense de Madrid, 2009)
Tesis (Doctor)--Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Computación, 2009.
Contiene bibliografía.
Descripción basada en recurso en línea; Título de la página del título en PDF (e-libro, visto November 10, 2016).
Recurso electronico. Santa Fe, Arg. : e-libro, 2016. Disponible via World Wide Web. El acceso puede ser limitado para las bibliotecas afiliadas a e-libro.
Keywords: Functional programming (Computer science); Logic programming; Informática.; Programación informática.; Libros electrónicos.