The Haskell road to logic, maths and programming

著者

• Doets, Kees
• Eijck, Jan van

書誌事項

The Haskell road to logic, maths and programming

Kees Doets, Jan van Eijck

（Texts in computing, v. 4）

College Publications, 2012

2nd ed

• : pbk

注記

Previous ed: 2004

Bibliography: p419-422

Includes index

詳細情報

• NII書誌ID(NCID): BB2642687X
• ISBN:
  • 9780954300692
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [London]
• ページ数/冊数: x, 432 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA9
  • DC : 005.115
• 件名:
  • LCSH : Logic programming
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA70852508