福岡大学蔵書検索

検索結果一覧に戻る

Mathematical knowledge management : second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
(Lecture notes in computer science ; 2594)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2003
形態	x, 223 p. : ill. ; 24 cm
別書名	表紙タイトル:Mathematical knowledge management : second International Conference, MKM 2003, Bertinoro, Italy, February 2003 : proceedings
著者標目	*International Conference on Mathematical Knowledge Management (MKM) (2nd : 2003 : Bertinoro, Italy) Asperti, Andrea Buchberger, Bruno Davenport, J. H.
件　名	LCSH:Mathematics -- Data processing 全ての件名で検索 LCSH:Information storage and retrieval systems -- Mathematics 全ての件名で検索 LCSH:Automatic theorem proving
分　類	NDC:549.92
書誌ID	LT00661418

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	"This volume contains the proceedings of the Second International Conference on Mathematical Knowledge Management (MKM 2003), held 16-18 February 2003 in Bertinoro, Italy."--Pref. Includes bibliographical references and index
巻冊次	ISBN:3540005684

目次／あらすじ