Publikationen

In: Proceedings of OpenMath Workshop 09. Conferences on Intelligent Computer Mathematics (CICM-09) befindet sich Conferences on Intelligent Computer Mathematics July 10 Grand Bend Ontario Canada www.activemath.org 7/2009.

Zur Publikation

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