Publikation
David Aspinall; Christoph Lüth; Burkhart Wolff
In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical Knowledge Management (MKM-2005), July 15-17, Bremen, Germany, Pages 65-80, Lecture Notes in Artificial Intelligence, Vol. 3863, ISBN 978-3-540-31430-1, Springer, Berlin, Heidelberg, 2005.