Logic programming : formal methods and practical applications

著者

• Beierle, Christoph
• Plümer, Lutz

書誌事項

Logic programming : formal methods and practical applications

edited by Christoph Beierle, Lutz Plümer

（Studies in computer science and artificial intelligence, 11）

Elsevier, 1995

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA24114722
• ISBN:
  • 0444820922
• LCCN: 94040114
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam [Netherlands] ; Tokyo
• ページ数/冊数: xiv, 404 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.63
  • DC20 : 005.1/1
• 件名:
  • LCSH : Logic programming
• 親書誌ID:
  • BA0006969X