Computational logic

著者

• Siekmann, Jörg H.

書誌事項

Computational logic

volume edited by Jörg H. Siekmann

（Handbook of the history of logic, v. 9）

North Holland, 2014

1st ed

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BB17701259
• ISBN:
  • 9780444516244
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam
• ページ数/冊数: 734 p.
• 大きさ: 25 cm
• 分類:
  • DC23 : 006.3
• 件名:
  • LCSH : Computer logic
• 親書誌ID:
  • BA66921571