L.ウォス/[ほか]著 -- マグロウヒル出版 -- 1989.1 -- 007.632

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 書庫1上 Map B/007.63/ウオ/478603 1104786033 閲可 貸可 協可

資料詳細

タイトル コンピュータによる推論技法
叢書名 Computation & software science
著者 L.ウォス /[ほか]著, 川越 恭二 /[ほか]訳  
出版地 東京
出版者 マグロウヒル出版
出版年 1989.1
ページ数 561p
大きさ 21cm
翻訳原書名注記 原タイトル:Automated reasoning
一般件名 エキスパート・システム , 人工知能
ISBN 4-89501-292-1 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 007.632