|
|
論理とプログラム意味論
田辺誠, 中島玲二, 長谷川真人著. -- 岩波書店, 1999. -- (コンピュータサイエンス入門).
<BB00380737>
|
|
|
論理とプログラム意味論
田辺誠, 中島玲二, 長谷川真人著. -- 岩波書店, 1999. -- (コンピュータサイエンス入門).
<BB00380737>
|
書誌詳細
|
標題および責任表示
|
論理とプログラム意味論 / 田辺誠, 中島玲二, 長谷川真人著
ロンリ ト プログラム イミロン
|
|
出版・頒布事項
|
東京 : 岩波書店 , 1999.9
|
|
形態事項
|
xi, 191p ; 21cm
|
|
巻号情報
|
|
|
書誌構造リンク
|
コンピュータサイエンス入門||コンピュータ サイエンス ニュウモン <>//b
|
|
注記
|
参考書: p185-188
|
|
学情ID
|
BA43339377
|
|
本文言語コード
|
日本語
|
|
著者標目リンク
|
田辺, 誠(1970-)
タナベ, マコト <>
|
|
著者標目リンク
|
中島, 玲二(1947-)
ナカジマ, レイジ <>
|
|
著者標目リンク
|
長谷川, 真人(1970-)
ハセガワ, マサヒト <>
|
|
分類標目
|
情報科学 NDC8:007.64
|
|
分類標目
|
情報科学 NDC9:007.64
|
|
件名標目等
|
電子計算機 -- プログラミング||デンシケイサンキ -- プログラミング
|
目録検索 ▼
利用者サービス ▼
