000 | 01814cam a22002777a 4500 | ||
---|---|---|---|
001 | vtls000002645 | ||
003 | VRT | ||
005 | 20250102222824.0 | ||
008 | 081201s2006 gw a |b 101 0 eng d | ||
020 | _a9783540314301 (pbk. : acidfree paper) | ||
020 | _a354031430X (pbk. : acid-free paper) | ||
039 | 9 |
_a201402040107 _bVLOAD _c201010091201 _dmalmash _c200812060926 _dvenkatrajand _c200812011110 _dNoora _y200812011108 _zNoora |
|
050 | 0 | 0 |
_aQA76.95 _b.M56 2005 |
111 | 2 |
_cBremen, Germany) _910632 |
|
245 | 1 | 0 |
_aMathematical Knowledge Management : _b4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / _cMichael Kohlhase (ed.). |
246 | 1 | 0 | _aMKM 2005 |
260 |
_aBerlin : _bSpringer, _cc2006. |
||
300 |
_axi, 403 p. : _bill. ; _c24 cm. |
||
504 | _aIncludes bibliographical references and index. | ||
520 | _aThis book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management, MKM 2005, held in Bremen, Germany in July 2005. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers in this volume cover the whole area of mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies. | ||
650 | 0 |
_aMathemcatics _xData processing _vCongresses. _910633 |
|
650 | 0 |
_aInformation storage and retrieval systems _xMathematics _vCongresses. _910634 |
|
650 | 0 |
_aAutomatic theorem proving _vCongresses. _910635 |
|
700 | 1 |
_aKohlhase, Michael, _910636 |
|
942 |
_2lcc _n0 _cBK |
||
999 |
_c3805 _d3805 |