Truth, deduction, and computation : logic and semantics for computer science

詳細情報 詳細情報について

• CRID

  1130282269085805056

• NII書誌ID

  BA07836990

• ISBN

  0716782014

• LCCN

  89034922

• Web Site

  https://lccn.loc.gov/89034922

• 本文言語コード

  en

• 出版国コード

  us

• タイトル言語コード

  en

• 出版地

  • New York

• 分類

  • LCC: QA76.7
  • DC20: 005.13

• 件名

  • LCSH: Programming languages (Electronic computers) -- Semantics
  • LCSH: Logic, Symbolic and mathematical
  • LCSH: Electronic data processing

• データソース種別

  • CiNii Books