Información de la editorial
Documentos disponibles de esta editorial (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Aranda López, Gabriel ; Nieva Soto, Susana ; Sáenz Pérez, Fernando ; Sánchez Hernández, Jaime | Assoc Computing Machinery | 2009This work is aimed to show a concrete implementation of a deductive database system based on the scheme HH-(C) (Hereditary Harrop Formulas with Negation and Constraints) following a fixpoint semantics proposed in a previous work. We have develop[...]
