論理と意味 | 鹿児島純心女子学園図書館OPAC

Blank Cover Image

このページのQRコード

論理と意味

フォーマット:

図書

責任表示:

長尾真, 淵一博 [著]

言語:

日本語

出版情報:

東京 : 岩波書店, 1983.1

形態:

ix, 202p ; 22cm

著者名:

シリーズ名:

岩波講座情報科学 ; 7 <BN00016163>

書誌ID:

BN00245681

ISBN:

9784000101578 [4000101579]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	記号論理学
分類・件名:	NDC8 : 007.08 NDC7 : 549.92 NDLC : M121 NDLC : MA41 NDLSH : 記号論理学
注記:	参考書: p197-198
タイトルのヨミ、その他のヨミ:	ロンリトイミ
著者名ヨミ:	ナガオ, マコトフチ, カズヒロ

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書知識と推論長尾, 真(1936-) 岩波書店	7 図書「わかる」とは何か長尾, 真(1936-) 岩波書店
2 図書人工知能が人間を理解するとき長尾, 真(1936-) 三田出版会	8 図書岩波講座ソフトウェア科学長尾, 真(1936-) 岩波書店
3 図書ゲーデルの哲学 : 不完全性定理と神の存在論高橋, 昌一郎(1959-) 講談社	9 図書記号論理学 : その成立史の研究末木, 剛博(1921-) 東京大学出版会
4 図書言語の数理長尾, 真(1936-) 岩波書店	10 図書まるさんかく論理学 : 数学的センスをみがく野崎, 昭弘(1936-) 中央公論新社
5 図書認知科学への招待 : 第5世代コンピュータの周辺淵, 一博(1936-) 日本放送出版協会	11 図書うそつき : 真理と循環をめぐる論考 Barwise, Jon, Etchemendy, John, 1952-, 金子, 洋之産業図書
6 図書言語情報処理長尾, 真(1936-) 岩波書店	12 図書岩波情報科学辞典長尾, 真(1936-) 岩波書店