Mathematical Knowledge Management Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Asperti, Andrea (Editor, http://id.loc.gov/vocabulary/relators/edt), Buchberger, Bruno (Editor, http://id.loc.gov/vocabulary/relators/edt), Davenport, James Harold (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Edition: 1st ed. 2003.
• Series: Lecture Notes in Computer Science, 2594
• Subjects: Artificial intelligence.; Information storage and retrieval.; Mathematical logic.; Computer science-Mathematics.; Database management.; Computer mathematics.; Artificial Intelligence.; Information Storage and Retrieval.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Database Management.; Computational Mathematics and Numerical Analysis.