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 / Rafael de Vado Vírseda ; dirigida por, Mario Rodríguez Artalejo.
Tipo de material: TextoEditor: Madrid : Universidad Complutense de Madrid, 2009Descripción: 1 recurso en línea (386 páginas) : ilustracionesTema(s): Género/Forma: Clasificación CDD:- 005.11 23
- QA76.62 V124 2009
No hay ítems correspondientes a este registro
elibro catedra 2020.
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.