数理情報学入門 : スコット・プログラム理論

Author(s)

• 中島, 玲二 ナカジマ, レイジ

Bibliographic Information

数理情報学入門 : スコット・プログラム理論

中島玲二著

（数理科学ライブラリー, 3）

朝倉書店, 1982.3

Title Transcription

スウリ ジョウホウガク ニュウモン : スコット プログラム リロン

Note

参考文献: p[159]-161

Details

• NCID: BN0060996X
• ISBN:
  • 4254114133
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: ix, 170p
• Size: 21cm
• Classification:
  • NDC8 : 007.64
  • NDLC : M159
• Subject Headings:
  • NDLSH : プログラミング用言語
  • NDLSH : 意味論
• Parent Bibliography ID:
  • BN00080300