@book{ Solr-EB000286492, title = {Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003}, series = {Lecture Notes in Computer Science}, author = {Asperti, Andrea}, editor = {Buchberger, Bruno}, editor = {Davenport, James Harold}, address = {Berlin, Heidelberg}, publisher = {Springer Berlin Heidelberg}, year = {2003}, isbn = {9783540005681}, isbn = {978-3-540-00568-1}, url = {http://dx.doi.org/10.1007/3-540-36469-2?nosfx=y} }