LEADER 01475nam--2200421---450-
001 990002967450203316
005 20070831135745.0
010   $a3-540-31430-X
035   $a000296745
035   $aUSA01000296745
035   $a(ALEPH)000296745USA01
035   $a000296745
100   $a20070831d2006----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aMathematical knowledge management$e4th International conference, MKM 2005$eBremen, Germany, July 15-17, 2005$erevised selected papers$fMichael Kohlhase(eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2006
215   $aXI, 403 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science
225 2 $aLecture notes in artificial intelligence$v3863
410  0$12001$aLecture notes in artificial intelligence$v3863
454  1$12001
461  1$1001-------$12001
606   $aIntelligenza Artificiale$xCongressi$yBremen$z2005
676   $a006.3
702  1$aKOHLHASE,$bMichael
710 12$aInternational conference, MKM 2005$d<4. ;$f2005 ;$eBremen>$0598146
801  0$aIT$bsalbc$gISBD
912   $a990002967450203316
951   $a006.3 LNAI 3863$b33244/CBS$c001 LNCS$d00215517
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070831$lUSA01$h1336
979   $aSENATORE$b90$c20070831$lUSA01$h1343
979   $aSENATORE$b90$c20070831$lUSA01$h1357
996   $aMathematical knowledge management$91026470
997   $aUNISA