Blank Cover Image

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

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 論理と意味

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

岩波書店

前原, 昭二(1927-1992)

培風館

Smullyan, Raymond M., 1919-, 村上, 祐子(1968-), 高橋, 昌一郎(1959-)

丸善出版

長尾, 真(1936-)

岩波書店

9 図書 論理と計算

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

岩波書店

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

日本コンピュータ協会

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

岩波書店

Rosenfeld, Azriel, 1931-, Kak, Avinash C., 長尾, 真(1936-)

近代科学社

板井, 昌典

共立出版

12 図書 数理論理学

鹿島, 亮

朝倉書店