Blank Cover Image
所蔵情報QRコード

コンピュータによる定理の証明 / Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳

資料種別:
図書
出版情報:
東京 : 日本コンピュータ協会, 1983.9
形態:
xii, 346p ; 22cm
シリーズ名:
コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27 <BN00058946>
著者名:
書誌ID:
BN00844314
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 知識の表現と利用

辻井, 潤一(1949-)

昭晃堂
7 図書 人工知能 : コンピュータによるゲーム

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

共立出版
2 図書 人工知能

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

岩波書店
8 図書 コンピュータによる推論技法

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

マグロウヒル出版
3 図書 Symbolic logic and mechanical theorem proving

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-

Academic Press
9 図書 Natural language processing : IJCNLP 2004 : First International Joint Conference, Hainan Island, China, March 22-24, 2004 : revised selected papers

IJCNLP, Su, Keh-Yih, 辻井, 潤一(1949-), Lee, Jong-Hyeok, Kwong, Oi Yee

Springer
4 図書 情報基礎論

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

オーム社
10 図書 コンピュータには何ができないか : 哲学的人工知能批判

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

産業図書
5 図書 Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化

萩原, 学, Affeldt, Reynald, 1976-

森北出版
11 図書 Artificial intelligence : concepts, techniques, and applications

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

Wiley
6 図書 言語と計算

辻井, 潤一(1949-)

東京大学出版会
12 図書 自然言語理解

辻井, 潤一(1949-), 田中, 穂積(1941-)

オーム社
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12