Blank Cover Image
所蔵情報QRコード

論理とプログラム意味論 / 田辺誠, 中島玲二, 長谷川真人著

資料種別:
図書
出版情報:
東京 : 岩波書店, 1999.9
形態:
xi, 191p ; 21cm
シリーズ名:
コンピュータサイエンス入門 <BA43339978>
著者名:
ISBN:
9784000061902 [4000061909]
書誌ID:
BA43339377
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

中島, 玲二(1947-)

朝倉書店
7 図書 意味論

Ullmann, Stephen, 1914-1981, 山口, 秀夫(1907-)

紀伊國屋書店
2 図書 プログラム意味論

横内, 寛文

共立出版
8 電子ブック 意味論

Guiraud, Pierre, 1912-1983, 佐藤, 信夫(1932-1993), ネットアドバンス

ネットアドバンス
3 図書 プログラム意味論の基礎

小林, 直樹, 住井, 英二郎

サイエンス社
9 図書 論理と意味

長尾, 真(1936-), 淵, 一博(1936-)

岩波書店
4 図書 意味論

安井, 稔(1921-)

大修館書店
10 図書 意味と必然性 : 意味論と様相論理学の研究

永井, 成男(1921-), Carnap, Rudolf, 1891-1970

紀伊国屋書店
5 図書 意味論

村木, 正武(1923-), 斎藤, 興雄(1940-), 荒木, 一雄(1921-)

研究社出版
11 図書 意味論 : 文法の原理

中島, 文雄(1904-1999)

研究社
6 図書 意味論

Hospers, John, 1918-, 西勝, 忠男, 中本, 昌年

法政大学出版局
12 図書 現代データ構造とプログラム技法

萩原, 宏(1926-), 西原, 清一(1946-)

オーム社
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12