Blank Cover Image

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

資料区分:
図書
責任表示:
Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
言語:
日本語
出版情報:
東京 : 日本コンピュータ協会, 1983.9
形態:
xii, 346p ; 22cm
著者名:
シリーズ名:
コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27 <BN00058946>
書誌ID:
BN00844314
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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 図書 ニューロコンピューター読本

甘利, 俊一(1936-)

サイエンス社
2 図書 人工知能

白井, 良明(1941-), 辻井, 潤一(1949-)

岩波書店
8 図書 知識工学入門 : 思考するコンピュータへの挑戦

溝口, 文雄(1941-), 北沢, 克明

講談社
3 図書 人工知能 : コンピュータによるゲーム

Banerji, Ranan B., 1928-, 高原, 康彦(1935- 経営工学), 中野, 文平(1942-), 宇治橋, 義弘

共立出版
9 図書 考えるコンピュータ : 人間の脳に近づく機械

Schank, Roger C., 1946-, 石崎, 俊(1947-)

ダイヤモンド社
4 図書 人工知能コンピュータ : 判断・推理のしくみ

秋田, 興一郎(1944-)

電気書院
10 図書 人工生命の夢と悩み : コンピュータの中の知能と行動の進化

星野, 力

裳華房
5 図書 論理と意味

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

岩波書店
11 図書 コンピュータのパターン認識

長尾, 真(1936-), 大山, 正(1928-)

東京大学出版会
6 図書 ゲーデル・不完全性定理 : “理性の限界"の発見

吉永, 良正(1953-)

講談社
12 図書 フェルマーの大定理が解けた! : オイラーからワイルズの証明まで

足立, 恒雄(1941-)

講談社