LEADER 01232nam--2200373---450-
001 990002962080203316
005 20070809101828.0
010   $a3-540-23029-7
035   $a000296208
035   $aUSA01000296208
035   $a(ALEPH)000296208USA01
035   $a000296208
100   $a20070809d2004----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aMathematical knowledge management$e3. International conference, MKM 2004$eBialowieza, Poland, September 19-21, 2004$eProceedings$fAndrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aX, 392 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v3119
410  0$12001$aLecture notes in computer science$v3119
454  1$12001
461  1$1001-------$12001
702  1$aASPERTI,$bAndrea
702  1$aBANCEREK,$bGrzegorz
702  1$aTRYBULEC,$bAndrzej
801  0$aIT$bsalbc$gISBD
912   $a990002962080203316
951   $a001 LNCS 3119$b31190/CBS$c001 LNCS$d00215286
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070809$lUSA01$h1018
996   $aMathematical Knowledge Management$9771964
997   $aUNISA