Equational logic as a programming language

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

• CRID

  1130000795074730496

• NII書誌ID

  BA00015668

• ISBN

  026215028X

• LCCN

  84029507

• Web Site

  https://lccn.loc.gov/84029507

• 本文言語コード

  en

• 出版国コード

  us

• タイトル言語コード

  en

• 出版地

  • Cambridge, Mass.

• 分類

  • LCC: QA76.7
  • DC19: 001.64/24

• 件名

  • LCSH: Programming languages (Electronic computers)
  • LCSH: Logic, Symbolic and mathematical
  • LCSH: Equations, Theory of

• データソース種別

  • CiNii Books