Vista normal Vista MARC Vista ISBD

Vado Vírseda, Rafael del.,

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. - 1 recurso en línea (386 páginas) : ilustraciones.

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.

ISBN:

Subjects--Topical Terms:
Informática.
Programación informática.

Index Terms--Genre/Form:
Libros electrónicos.

LC Class. No.: QA76.62 / V124 2009

Dewey Class. No.: 005.11

Universal Decimal Class. No.: 004.42.047