Blank Cover Image
タイトル、所在が表示されます

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

フォーマット:
図書
責任表示:
萩谷昌己 [著]
言語:
日本語
出版情報:
東京 : 岩波書店, 1994.1
形態:
xvii, 220p ; 23cm
著者名:
シリーズ名:
岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11 <BN02276369>
書誌ID:
BN10240152
子書誌情報
Loading
eリソース
Loading
所蔵情報
Loading availability information

類似資料:

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

長尾, 真(1936-)

岩波書店

川合, 慧(1944-), 萩谷, 昌己(1957-)

放送大学教育振興会

2 図書 論理と意味

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

岩波書店

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-, 長尾, 真(1936-), 辻井, 潤一(1949-)

日本コンピュータ協会

3 図書 論理と計算

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

岩波書店

萩原, 宏(1926-)

オーム社

萩谷, 昌己(1957-), 西崎, 真也

岩波書店

10 図書 Common Lisp入門

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

岩波書店

Myers, Glenford J., 1946-, Badgett, Tom, Thomas, Todd M., Sandler, Corey, 1950-, 長尾, 真(1936-), 松尾, 正信

近代科学社

川合, 慧(1944-), 萩谷, 昌己(1957-)

放送大学教育振興会

萩谷, 昌己(1957-)

放送大学教育振興会

萩谷, 昌己(1957-), 横森, 貴

培風館