Blank Cover Image
QRコード(所蔵情報)

論理と意味

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 知識と推論

長尾, 真(1936-)

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

長尾, 真(1936-)

岩波書店
2 図書 記号論理学の基礎

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

大阪教育図書
8 図書 言語情報処理

長尾, 真(1936-)

岩波書店
3 図書 言語の数理

長尾, 真(1936-)

岩波書店
9 図書 人工知能と人間

長尾, 真(1936-)

岩波書店
4 図書 言語の数理

長尾, 真(1936-)

岩波書店
10 図書 「わかる」とは何か

長尾, 真(1936-)

岩波書店
5 図書 意味論序説

Carnap, Rudolf, 1891-1970, 遠藤, 弘(1932-)

紀伊國屋書店
11 図書 論理学 : モデル理論と歴史的背景

神野, 慧一郎(1932-), 内井, 惣七(1943-)

ミネルヴァ書房
6 図書 言語情報処理

長尾, 真(1936-)

岩波書店
12 図書 岩波講座ソフトウェア科学

長尾, 真(1936-)

岩波書店