Constitutes the joint proceedings of the 9th International Conference on Artificial Intelligence & Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation & Mechanized Reasoning, Calculemus 2008, & the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK.