Constraint logic programming with hereditary Harrop formulas
- Leach, J
- Nieva, S
- RodriguezArtalejo, M
- Maluszynski, J (coord.)
ISSN: 1061-0464
ISBN: 0-262-63180-6
Año de publicación: 1997
Páginas: 307-321
Congreso: 1997 International Logic Programming Symposium (ILPS 97)
Tipo: Aportación congreso