福岡大学蔵書検索

Resolution methods for the decision problem / C. Fermüller ... [et al.]
(Lecture notes in computer science ; 679 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1993
形態	viii, 205 p. ; 24 cm
著者標目	Fermüller, C. (Christian), 1963-
件　名	LCSH:Artificial intelligence -- Mathematical models 全ての件名で検索 LCSH:Decision-making -- Mathematical models 全ての件名で検索
分　類	NDC:549.92 DDC:006.3 LCC:Q335
書誌ID	LT00439908

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	549.92/L49-1/679	0109523030107	9783540567325				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	Bibliography: p. [198]-203 Includes bibliographical references and index
NCID	BA20582478
巻冊次	ISBN:3540567321

目次／あらすじ