Edinburgh LCF : a mechanised logic of computation

著者

• Gordon, Michael J. C.
• Milner, Robin
• Wadsworth, Christopher P.

書誌事項

Edinburgh LCF : a mechanised logic of computation

Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth

（Lecture notes in computer science, 78）

Springer-Verlag, 1979

• : gw
• : us

注記

Bibliography: p. [153]-157

Includes index

詳細情報

• NII書誌ID(NCID): BA07298877
• ISBN:
  • 3540097244
  • 0387097244
• LCCN: 79024745
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: viii, 159 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA9.59
  • DC : 510/.8 s
  • DC : 001.6/4
• 件名:
  • LCSH : Edinburgh LCF (Computer system)
  • LCSH : Computable functions -- Data processing
• 親書誌ID:
  • BA00009279