<図書>

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)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工2・図書室
548.2:L49:2594 2310032681
2003
理7・CS図
39:L:1.2594 2350007296

LNCS 閲覧室

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c2003
大きさ x, 223 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *MKM (2nd : 2003 : Bertinoro, Italy)
Asperti, Andrea
Buchberger, Bruno, 1942-
Davenport, J. H.
件 名 LCSH:Mathematics -- Data processing
LCSH:Information storage and retrieval systems -- Mathematics
LCSH:Automatic theorem proving
分 類 DC21:510.285
本文言語 英語
書誌ID 2001701747
ISBN 3540005684
NCID BA61265625 WCLINK

検索結果一覧に戻る ページトップ