Computation as logic

著者

• Lalement, René

書誌事項

Computation as logic

René Lalement ; translated by John Plaice

（Prentice-Hall International series in computer science）

Masson , Prentice Hall, c1993

タイトル別名

Logique, réduction, résolution

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA21217401
• ISBN:
  • 0137700091
• LCCN: 92045893
• 出版国コード: fr
• タイトル言語コード: eng
• 本文言語コード: eng
• 原本言語コード: fre
• 出版地: Paris,Hemel, Hempstead ; Englewood Cliffs, NJ
• ページ数/冊数: xi, 387 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.63
  • DC20 : 005.1
• 件名:
  • LCSH : Logic programming
  • LCSH : Functional programming (Computer science)
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA00010507