Publikationen

In: James H. Davenport , William Farmer , Florian Rabe , Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management befindet sich Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Seiten 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence