Mathematical knowledge management : Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings. ISBN 3540005684. Published by Springer in 2003. Publication and catalogue information, links to buy online and reader comments.