Outline of a mathematical theory of computation

著者

• Scott, Dana

書誌事項

Outline of a mathematical theory of computation

by Dana Scott

（Technical monographs / Oxford University Computing Laboratory. Programming Research Group, PRG-2）

Oxford University Computing Laboratory, Programming Research Group, 1970

詳細情報

• NII書誌ID(NCID): BA28990999
• ISBN:
  • 0902928015
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: und
• 出版地: Oxford
• ページ数/冊数: [5],24p
• 大きさ: 21cm
• 分類:
  • LCC : QA76.7
  • DC18 : 001.6/424/0151
• 件名:
  • PRECIS : Computer systems. Programming. Languages. Mathematical models
  • LCSH : Programming languages (Electronic computers)
• 親書誌ID:
  • BA28991051