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

著者

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

書誌事項

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

中島玲二著

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

朝倉書店, 1982.3

タイトル読み

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

注記

参考文献: p[159]-161

詳細情報

• NII書誌ID(NCID): BN0060996X
• ISBN:
  • 4254114133
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: ix, 170p
• 大きさ: 21cm
• 分類:
  • NDC8 : 007.64
  • NDLC : M159
• 件名:
  • NDLSH : プログラミング用言語
  • NDLSH : 意味論
• 親書誌ID:
  • BN00080300