Publications

Displaying results 1 to 2 of 2

In: Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Pages 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

To the publication

Year

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