---

＜図書＞
コンピュータによる推論技法 / L.ウオス[等] 著 ; 川越恭二[等] 訳
(Computation & software science)

データ種別	図書
出版者	東京 : マグロウヒル
出版年	1989
本文言語	日本語
別書名	原タイトル:Automated reasoning
大きさ	xiv,561p ; 21cm
件　名	BSH:エキスパート・システム BSH:人工頭脳
分　類	:007.63
書誌ID	1000175835
ISBN	4895012921
NCID	BN02987527

 類似資料

 この資料を見た人はこんな資料も見ています