TY  - BOOK
AU  - Vado Vírseda,Rafael del
AU  - Rodríguez Artalejo,Marío
TI  - 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 
AV  - QA76.62 V124 2009
U1  - 005.11 23
PY  - 2009///
CY  - Madrid
PB  - Universidad Complutense de Madrid
KW  - Informática
KW  - Programación informática
KW  - Libros electrónicos
N1  - 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
UR  - https://elibro.net/ereader/uvalparaiso/89015
ER  -