International Conference on Mathematical Knowledge Management (MKM-08), located at Conferences on Intelligent Computer Mathematics, CICM'08, July 28 - …
Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner
In: M. Sebillo; G. Vitiello; G. Schaefer (Hrsg.). Proceedings of 10th International Conference on Visual Information Systems. International Conference …