福岡大学蔵書検索

Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving / by Wu Wen-tsun
(Mathematics and its applications ; v. 489)

データ種別	図書
出版者	Dordrecht : Kluwer Academic Pub.
出版年	c2000
形態	xii, 420 p. : ill. ; 25 cm
著者標目	*Wu, Wen-tsün
件　名	LCSH:Automatic theorem proving LCSH:Equations -- Numerical solutions 全ての件名で検索 LCSH:Artificial intelligence
分　類	LCC:QA76.9.A96 DC21:511.3 NDC:410.8 NDC9:007.64
書誌ID	LT00616224

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		理学部分室開架	410.8/MA72-3/1-489	0112198750100	9780792358350				予約・取寄				予約・取寄

本文言語	英語
一般注記	Includes bibliography (p. [392]-402) and index
巻冊次	ISBN:079235835X

目次／あらすじ