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

twitter facebook Hatena

More Services

タイトル、所在が表示されます

フォーマット:

図書

責任表示:

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

言語:

日本語

出版情報:

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

形態:

xii, 346p ; 22cm

著者名:

シリーズ名:

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

書誌ID:

BN00844314

子書誌情報

eリソース

所蔵情報

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

詳細

その他の標題:	Symbolic logic and mechanical theorem proving
資料形態(詳細):	Text
主題:	人工頭脳; 記号論理学
注記:	各章末:参考文献参考文献: p323-338
登録日:	1989-09-06
タイトルのヨミ、その他のヨミ:	コンピュータニヨルテイリノショウメイ
著者名ヨミ:	ナガオ, マコトツジイ, ジュンイチ
件名のヨミ:	キゴウロンリガクジンコウズノウ

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Symbolic logic and mechanical theorem proving Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- Academic Press	7 図書コンピュータには何ができないか : 哲学的人工知能批判 Dreyfus, Hubert L., 黒崎, 政男(1954-), 村若, 修産業図書
2 図書知識の表現と利用辻井, 潤一(1949-) 昭晃堂	8 図書バイオコンピュータ甘利, 俊一(1936-) 岩波書店
3 図書人工知能白井, 良明(1941-), 辻井, 潤一(1949-) 岩波書店	9 図書脳とコンピュータ山田, 博(1929-) NTT出版
4 図書情報基礎論長尾, 真(1936-), 辻井, 潤一(1949-), 山崎, 進, 淵, 一博(1936-) オーム社	10 図書 AIコンピュータ読本矢矧, 晴一郎(1929-) オーム社
5 図書人工知能 : コンピュータによるゲーム Banerji, Ranan B., 1928-, 高原, 康彦(1935- 経営工学), 中野, 文平(1942-), 宇治橋, 義弘共立出版	11 図書岩波情報科学辞典長尾, 真(1936-), 石田, 晴久(1936-), 稲垣, 康善(1939-), 田中, 英彦(1943-), 辻井, 潤一(1949-), 所, 真理雄(1947-), 中田, 育男(1935-), 米沢, 明憲(1947-) 岩波書店
6 図書コンピュータによる推論技法 Wos, Larry, 1930-, 川越, 恭二(1953-) マグロウヒル出版	12 図書自然言語理解辻井, 潤一(1949-), 田中, 穂積(1941-) オーム社