論理と意味

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

類似資料:

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

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

岩波書店
7 図書 スマリヤン数理論理学 : 述語論理と完全性定理

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

丸善出版
2 図書 情報工学基礎講座

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

オーム社
8 図書 論理と集合 : 数学を理解するための基礎

辻, 一夫

サンライズ出版
3 図書 情報基礎論

長尾, 真(1936-), 辻井, 潤一(1949-), 山崎, 進, 淵, 一博(1936-)

オーム社
9 図書 画像認識論

長尾, 真(1936-)

コロナ社
4 図書 コンピュータによる定理の証明

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

日本コンピュータ協会
10 図書 パターン情報処理

長尾, 真(1936-)

コロナ社
5 図書 知識と推論

長尾, 真(1936-)

岩波書店
11 図書 自然言語処理

長尾, 真(1936-)

岩波書店
6 図書 数学と論理と

Newman, James Roy, 1907-1966, 林, 雄一郎(1934-)

東京図書
12 図書 人工知能と人間

長尾, 真(1936-)

岩波書店