Constraint logic programming with hereditary Harrop formulas

  1. Leach, J
  2. Nieva, S
  3. RodriguezArtalejo, M
Liburu bilduma:
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM
  1. Maluszynski, J (coord.)

ISSN: 1061-0464

ISBN: 0-262-63180-6

Argitalpen urtea: 1997

Orrialdeak: 307-321

Biltzarra: 1997 International Logic Programming Symposium (ILPS 97)

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: WoS