OPAC

コンピュータニヨルスイロンギホウ
コンピュータによる推論技法 / L. ウォス [ほか] 著 ; 川越恭二 [ほか] 訳
(Computation & software science)

データ種別	図書
出版者	東京 : マグロウヒル出版
出版年	1989.1
本文言語	日本語
大きさ	xiv, 561p ; 21cm
著者標目	Wos, Larry, 1930- [ほか] 川越, 恭二(1953-) [ほか]訳 <カワゴエ, キョウジ>

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-2階-和書	007.63\|\|W89	101089837		1989			4895012921	予約		予約
	射水-研究室	007.63\|\|W89	100955335		1989			4895012921		請求メモ		請求メモ

別書名	原タイトル:Automated reasoning : introduction and applications
一般注記	参考文献: p540-548 文献リスト: p550-553
件　名	BSH:エキスパート・システム BSH:人工頭脳
分　類	NDC8:007.63 NDC7:549.92
書誌ID	B000070227
ISBN	4895012921
NCID	BN02987527