01193nam--2200361---450-99000175626020331620040615110402.03-540-00568-4000175626USA01000175626(ALEPH)000175626USA0100017562620040615d2003----km-y0itay0103----baengDEa|||||||001yyMathematical knowledge management2. International conference, MKM 2003Bertinoro, Italy, February 16-18, 2003ProceedingsAndrea Asperti, Bruno Buchberger, James H. Davenport <eds.>Berlin [etc.]Springercopyr. 2003X, 223 p.ill.24 cm.Lecture notes in computer science25942001Lecture notes in computer science25942001001-------2001ASPERTI,AndreaBUCHBERGER,BrunoITsalbcISBD990001756260203316001 LNCS 259429438/CBS001 LNCS00113973BKSCIRIVELLI9020040615USA011104Mathematical Knowledge Management771964UNISA