Mathematical Knowledge Management (vol. # 3863) 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers - Kohlhase, Michael (Springer e-books, 2006)