Fairouz Kamareddine: Proceedings of the Mathematical Knowledge Management Symposium, MKM Symposium 2003, Edinburgh, UK, November 25-29, 2003. Electronic Notes in Theoretical Computer Science 93, Elsevier 2004