Información del autor
Documentos disponibles escritos por este autor (2)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Leach Albert, Javier ; Nieva Soto, Susana ; Rodríguez-Artalejo, Mario | Cambridge Univ Press | 2001-07Constraint Logic Programming (CLP) and Hereditary Harrop formulas (HH) are two well known ways to enhance the expressivity of Horn clauses. In this paper, we present a novel combination of these two approaches. We show how to enrich the syntax a[...]texto impreso
Rodríguez-Artalejo, Mario ; González Calero, Pedro Antonio ; Gómez Martín, Marco Antonio | Editorial Complutense | 2011Este libro es el resultado de la experiencia adquirida por los autores impartiendo la asignatura Estructuras de datos y de la información, en la Facultad de Informática de la UCM, desde el curso 1995-96 hasta la actualidad. Como fruto de ese tra[...]
