Blank Cover Image

ソフトウェア科学のための論理学

フォーマット:
図書
責任表示:
萩谷昌己 [著]
言語:
日本語
出版情報:
東京 : 岩波書店, 1994.1
形態:
xvii, 220p ; 23cm
著者名:
シリーズ名:
岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11 <BN02276369>
書誌ID:
BN10240152
ISBN:
9784000103510 [4000103512]
子書誌情報
Loading
所蔵情報
近くの請求記号の本を見る Loading virtual-shelf information
Loading availability information
内容目次情報
Loading contents information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

長尾, 真(1936-)

岩波書店

本位田, 真一(1953-), 大蒔, 和仁, 佐伯, 元司, 権藤, 克彦, 深澤, 良彰, 青山, 幹雄(1954-), 伊藤, &hellip;

近代科学社

2 図書 論理と計算

萩谷, 昌己(1957-), 甘利, 俊一(1936-)

岩波書店

8 図書 論理と意味

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

岩波書店

松本, 吉弘(1932-)

丸善

Hilbert, David, 1862-1943, Ackermann, Wilhelm, 1896-, 石本, 新(1917-), 竹尾, 治一郎(1926-)

大阪教育図書

細井, 勉(1937-)

日本評論社

日高, 哲郎(1949-)

リックテレコム

湯浅, 太一(1952-), 萩谷, 昌己(1957-)

岩波書店

橋本, 洋志, 冨永, 和人, 松永, 俊雄, 小澤, 智, 木村, 幸男

オーム社

黒川, 利明(1948-)

岩波書店

相田, 洋(1936-), 大墻, 敦

日本放送出版協会