論理とプログラム意味論

Author(s)

• 田辺, 誠 タナベ, マコト
• 中島, 玲二 ナカジマ, レイジ
• 長谷川, 真人 ハセガワ, マサヒト

Bibliographic Information

論理とプログラム意味論

田辺誠, 中島玲二, 長谷川真人著

（コンピュータサイエンス入門）

岩波書店, 1999.9

Title Transcription

ロンリ ト プログラム イミロン

Note

参考書: p185-188

• NCID: BA43339377
• ISBN:
  • 4000061909
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xi, 191p
• Size: 21cm
• Classification:
  • NDC8 : 007.64
  • NDC9 : 007.64
• Subject Headings:
  • BSH : 電子計算機 -- プログラミング
• Parent Bibliography ID:
  • BA43339978