| 000 | 01269nam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | vtls000023609 | ||
| 003 | KUKTEM | ||
| 005 | 20251117144442.0 | ||
| 008 | 080118s2006 gw f 001 0 eng|d | ||
| 020 | _a3540371044 | ||
| 020 | _a9783540371045 | ||
| 039 | 9 |
_a201107131949 _bVLOAD _c200908141402 _dVLOAD _c200908141334 _dVLOAD _c200908131731 _dVLOAD _y200801181615 _zkam |
|
| 040 | _aUMP | ||
| 090 | _aQA76.95 .I58 2006 | ||
| 100 | 1 |
_aInternational Conference on Mathematical Knowledge Management _n(5th : _d2006 : _cWokingham, England) |
|
| 245 | 1 | 0 |
_aMathematical knowledge management : _b5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / _cJonathan M. Borwein, William M. Farmer (eds.) |
| 260 |
_aBerlin : _bSpringer, _c2006 |
||
| 300 |
_a294 p. : _bill. ; _c24 cm. |
||
| 440 | 0 |
_aLecture notes in artificial intelligence; _v4108 |
|
| 650 | 0 |
_aMathematics _xData processing _vCongresses |
|
| 650 | 0 |
_aInformation storage and retrieval systems _xMathematics _vCongresses |
|
| 650 | 0 |
_aAutomatic theorem proving _vCongresses |
|
| 700 | 1 | _aBalcázar, José Luis | |
| 700 | 1 | _aLin, Fangzhen | |
| 700 | 1 | _aWang, Ju | |
| 999 |
_aVIRTUA40 _c36603 _d36609 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*4400*6500*6501*6502*7000*7001*7002*9991 | ||