Blank Cover Image
twitter facebook Hatena
More Services
QR code of this page

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

フォーマット:
図書
責任表示:
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 図書 コンピュータには何ができないか : 哲学的人工知能批判

Dreyfus, Hubert L., 黒崎, 政男(1954-), 村若, 修

産業図書
2 図書 人工知能

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

岩波書店
8 図書 バイオコンピュータ

甘利, 俊一(1936-)

岩波書店
3 図書 情報基礎論

長尾, 真(1936-), 辻井, 潤一(1949-), 山崎, 進, 淵, 一博(1936-)

オーム社
9 図書 心とコンピュータ

吉成, 真由美

ジャストシステム
4 図書 コンピュータによる推論技法

Wos, Larry, 1930-, 川越, 恭二(1953-)

マグロウヒル出版
10 図書 コンピューターと思考

Feldman, Julian, 横山, 保(1921-), Feigenbaum, Edward A., 1936-, 阿部, 統(1924-)

好学社
5 図書 証明のすすめ : 数学の証明

Thiele, Rüdiger, 金井, 省二(1941-)

森北出版
11 図書 岩波情報科学辞典

長尾, 真(1936-), 石田, 晴久(1936-), 稲垣, 康善(1939-), 田中, 英彦(1943-), 辻井, 潤一(1949-), 所, 真理雄(1947-), 中田, 育男(1935-), 米沢, 明憲(1947-)

岩波書店
6 図書 言語と計算

辻井, 潤一 (1949-)

東京大学出版会
12 図書 入門ニューロコンピュータ

菊池, 豊彦(1936-)

オーム社