LEADER 01193nam--2200361---450-
001 990001756260203316
005 20040615110402.0
010   $a3-540-00568-4
035   $a000175626
035   $aUSA01000175626
035   $a(ALEPH)000175626USA01
035   $a000175626
100   $a20040615d2003----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aMathematical knowledge management$e2. International conference, MKM 2003$eBertinoro, Italy, February 16-18, 2003$eProceedings$fAndrea Asperti, Bruno Buchberger, James H. Davenport <eds.>
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aX, 223 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2594
410  0$12001$aLecture notes in computer science$v2594
454  1$12001
461  1$1001-------$12001
702  1$aASPERTI,$bAndrea
702  1$aBUCHBERGER,$bBruno
801  0$aIT$bsalbc$gISBD
912   $a990001756260203316
951   $a001 LNCS 2594$b29438/CBS$c001 LNCS$d00113973
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040615$lUSA01$h1104
996   $aMathematical Knowledge Management$9771964
997   $aUNISA