Constraint Logic Programming with Hereditary Harrop formulas
ISSN: 1471-0684
Año de publicación: 2001
Volumen: 1
Número: 4
Páginas: 409-445
Tipo: Artículo
ISSN: 1471-0684
Año de publicación: 2001
Volumen: 1
Número: 4
Páginas: 409-445
Tipo: Artículo