Logic programming : systematic program development

Author(s)

• Deville, Yves

Bibliographic Information

Logic programming : systematic program development

Yves Deville

（International series in logic programming）

Addison-Wesley, c1990

• est.

Note

Includes bibliographical references (p. 315-329) and index

Details

• NCID: BA10743694
• ISBN:
  • 0201175762
• LCCN: 89018349
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Wokingham, England ; Tokyo
• Pages/Volumes: xvii, 338 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.63
  • DC20 : 005.1
• Subject Headings:
  • LCSH : Logic programming
• Parent Bibliography ID:
  • BA00924819