Publikation
Serge Autexier; John Campbell; Julio Rubio; Volker Sorge; Masakazu Suzuki; Freek Wiedijk (Hrsg.)
International Conference on Mathematical Knowledge Management (MKM-08), located at Conferences on Intelligent Computer Mathematics, CICM'08, July 28 - August 1, Birmingham, United Kingdom, Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence (LNCS/ LNAI), Vol. 5144, ISBN 978-3-540-85109-7, Springer, Berlin, Heidelberg, 2008.