LEADER 01249nam  2200373   450 
001 990002967400203316
005 20070831125010.0
010   $a3-540-37104-4
035   $a000296740
035   $aUSA01000296740
035   $a(ALEPH)000296740USA01
035   $a000296740
100   $a20070831d2006----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aMathematical knowledge management$e5. International conference, MKM 2006$eWokingham, UK, August 11-12, 2006$eProceedings$fJonathan M. Borwein, William M. Farmer(eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2006
215   $aVIII, 294 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science
225 2 $aLecture notes in artificial intelligence$v4108
410  0$12001$aLecture notes in artificial intelligence$v4108
454  1$12001
461  1$1001-------$12001
702  1$aBORWEIN,$bJonathan M.
702  1$aFARMER,$bWilliam M.
801  0$aIT$bsalbc$gISBD
912   $a990002967400203316
951   $a006.3 LNAI 4108$b34075/CBS$c001 LNCS$d00215514
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070831$lUSA01$h1250
996   $aMathematical Knowledge Management$9771964
997   $aUNISA