コンピュータによる推論技法

CiNii 所蔵館 114館

書誌事項

タイトル
"コンピュータによる推論技法"
責任表示
L. ウォス [ほか] 著 ; 川越恭二 [ほか] 訳
出版者
  • マグロウヒル出版
出版年月
  • 1989.1
書籍サイズ
21cm
タイトル別名
  • コンピュータ ニヨル スイロン ギホウ
  • Automated reasoning : introduction and applications

この図書・雑誌をさがす

注記

参考文献: p540-548

文献リスト: p550-553

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ