000 01766nmm a22004095u 4500
001 vtls000360399
003 RU-ToGU
005 20210922024850.0
007 cr nn 008mamaa
008 120828s2006 xx j eng d
020 _a9783540314318
035 _ato000360399
040 _aSpringer
_cSpringer
_dRU-ToGU
100 1 _aKohlhase, Michael.
_9322080
245 1 0 _aMathematical Knowledge Management (vol. # 3863)
_hЭлектронный ресурс
_b4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
_cedited by Michael Kohlhase.
260 _aBerlin Heidelberg :
_bSpringer-Verlag GmbH.,
_c2006
490 1 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3863
650 0 _aArtificial intelligence
_9274099
650 0 _aComputer Communication Networks
_9566243
650 0 _aDatabase management
_9566224
650 0 _aInformation storage and retrieval systems
_9137013
650 0 _aInformation systems
_9303226
650 0 _amathematics
_9566183
650 1 4 _aComputer Science
_9155490
650 2 4 _aArtificial Intelligence (incl. Robotics)
_9274102
650 2 4 _aComputer Communication Networks
_9566243
650 2 4 _aDatabase Management
_9566226
650 2 4 _aInformation Storage and Retrieval
_9303027
650 2 4 _aInformation Systems Applications (incl.Internet)
_9304235
650 2 4 _aMathematics, general
_9304764
710 2 _aSpringerLink (Online service)
_9143950
773 0 _tSpringer e-books
830 _aLecture Notes in Computer Science,
_9279505
856 4 0 _uhttp://dx.doi.org/10.1007/11618027
999 _c237118