Publikationen

In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10) befindet sich CICM July 8-10 Paris France Lecture Notes on Artificial Intelligence (LNAI) Springer Verlag 2010.

Zur Publikation

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