01475nam--2200421---450-99000296745020331620070831135745.03-540-31430-X000296745USA01000296745(ALEPH)000296745USA0100029674520070831d2006----km-y0itay0103----baengDEa|||||||001yyMathematical knowledge management4th International conference, MKM 2005Bremen, Germany, July 15-17, 2005revised selected papersMichael Kohlhase(eds.)Berlin [etc.]Springercopyr. 2006XI, 403 p.ill.24 cm.Lecture notes in computer scienceLecture notes in artificial intelligence38632001Lecture notes in artificial intelligence38632001001-------2001Intelligenza ArtificialeCongressiBremen2005006.3KOHLHASE,MichaelInternational conference, MKM 2005<4. ;2005 ;Bremen>598146ITsalbcISBD990002967450203316006.3 LNAI 386333244/CBS001 LNCS00215517BKSCISENATORE9020070831USA011336SENATORE9020070831USA011343SENATORE9020070831USA011357Mathematical knowledge management1026470UNISA