Constraint logic programming with hereditary Harrop formulas
- Leach, J
- Nieva, S
- RodriguezArtalejo, M
- Maluszynski, J (coord.)
ISSN: 1061-0464
ISBN: 0-262-63180-6
Any de publicació: 1997
Pàgines: 307-321
Congrés: 1997 International Logic Programming Symposium (ILPS 97)
Tipus: Aportació congrés