コンピュータによる定理の証明

Format:

Book

Responsibility:

Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳

Language:

Japanese

Published:

東京 : 日本コンピュータ協会, 1983.9

Description:

xii, 346p ; 22cm

Authors:

Series:

コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27 <BN00058946>

Catalog.Bib:

BN00844314

Holding items in this series

Holdings

Materials with similar titles

Details

Other titles:	Symbolic logic and mechanical theorem proving
Subject:	人工頭脳; 記号論理学
Classification / Subject:	NDC8 : 410.96 NDC7 : 549.92 NDLC : MA41 NDLC : M151 NDLSH : 記号論理学 NDLSH : 人工頭脳
Notes:	各章末:参考文献参考文献: p323-338
Reading of Title:	コンピュータニヨルテイリノショウメイ
TTLL:	jpn
Reading of Author:	ナガオ, マコトツジイ, ジュンイチ

1

2

3

4

5

6

7

8

9

10

11

12

1 Book Symbolic logic and mechanical theorem proving Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- Academic Press	7 Book ニューロコンピューター読本甘利, 俊一(1936-) サイエンス社
2 Book 人工知能白井, 良明(1941-), 辻井, 潤一(1949-) 岩波書店	8 Book 知識工学入門 : 思考するコンピュータへの挑戦溝口, 文雄(1941-), 北沢, 克明講談社
3 Book 人工知能 : コンピュータによるゲーム Banerji, Ranan B., 1928-, 高原, 康彦(1935- 経営工学), 中野, 文平(1942-), 宇治橋, 義弘共立出版	9 Book 考えるコンピュータ : 人間の脳に近づく機械 Schank, Roger C., 1946-, 石崎, 俊(1947-) ダイヤモンド社
4 Book 人工知能コンピュータ : 判断・推理のしくみ秋田, 興一郎(1944-) 電気書院	10 Book 人工生命の夢と悩み : コンピュータの中の知能と行動の進化星野, 力裳華房
5 Book 論理と意味長尾, 真(1936-), 淵, 一博(1936-) 岩波書店	11 Book コンピュータのパターン認識長尾, 真(1936-), 大山, 正(1928-) 東京大学出版会
6 Book ゲーデル・不完全性定理 : “理性の限界"の発見吉永, 良正(1953-) 講談社	12 Book フェルマーの大定理が解けた! : オイラーからワイルズの証明まで足立, 恒雄(1941-) 講談社