<図書>
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 |
出版年 | c2003 |
本文言語 | 英語 |
大きさ | x, 223 p. : ill. ; 24 cm |
概要 | This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full p...pers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory. 続きを見る |
電子版へのリンク | https://hdl.handle.net/2324/7005631 |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
【故障中】理系図 自動書庫 | 408/L 49 | 2003 |
|
061232004001182 |
|
書誌詳細
一般注記 | 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 | 1001155515 |
ISBN | 3540005684 |
NCID | BA61265625 |
巻冊次 | ISBN:3540005684 |
NBN | BA318075 |
登録日 | 2009.09.17 |
更新日 | 2017.02.18 |