Logic programming : formal methods and practical applications

Author(s)

• Beierle, Christoph
• Plümer, Lutz

Bibliographic Information

Logic programming : formal methods and practical applications

edited by Christoph Beierle, Lutz Plümer

（Studies in computer science and artificial intelligence, 11）

Elsevier, 1995

Note

Includes bibliographical references

Details

• NCID: BA24114722
• ISBN:
  • 0444820922
• LCCN: 94040114
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam [Netherlands] ; Tokyo
• Pages/Volumes: xiv, 404 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.63
  • DC20 : 005.1/1
• Subject Headings:
  • LCSH : Logic programming
• Parent Bibliography ID:
  • BA0006969X