Constraint Logic Programming with Hereditary Harrop formulas
ISSN: 1471-0684
Any de publicació: 2001
Volum: 1
Número: 4
Pàgines: 409-445
Tipus: Article
ISSN: 1471-0684
Any de publicació: 2001
Volum: 1
Número: 4
Pàgines: 409-445
Tipus: Article