Blank Cover Image

論理と意味

フォーマット:
図書
責任表示:
長尾真, 淵一博 [著]
言語:
日本語
出版情報:
東京 : 岩波書店, 1983.1
形態:
ix, 202p ; 22cm
著者名:
シリーズ名:
岩波講座情報科学 ; 7 <BN00016163>
書誌ID:
BN00245681
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 ソフトウェア科学のための論理学

萩谷, 昌己(1957-), 長尾, 真(1936-)

岩波書店
7 図書 論理と計算

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

岩波書店
2 図書 知識と推論

長尾, 真(1936-)

岩波書店
8 図書 事務用計算機のプログラミング

McCracken, Daniel D., Weiss, Harold, Lee, Tsai-Hwa, 高橋, 茂(1921-), 石井, 治(1929-), 淵, 一博(1936-)

光琳書院
3 図書 自然言語処理

長尾, 真(1936-)

岩波書店
9 図書 ディジタル画像処理

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

近代科学社
4 図書 岩波講座ソフトウェア科学

長尾, 真(1936-)

岩波書店
10 図書 パターン情報処理

長尾, 真(1936-), 電子通信学会

コロナ社
5 図書 パターン認識と図形処理

長尾, 真(1936-), 齋藤, 收三(1924-)

岩波書店
11 図書 モデルと表現

米沢, 明憲(1947-), 柴山, 悦哉(1959-), 長尾, 真(1936-)

岩波書店
6 図書 記号論理学

Novikov, P. S. (Petr Sergeevich), 石本, 新(1917-)

東京図書
12 図書 情報の構造とデータベース

長尾, 真(1936-), 片山, 卓也(1939-), 植村, 俊亮

岩波書店