Publikationen

In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence and Symbolic Computation (AISC-2010) 10th befindet sich Intelligent Computer Mathematics 2010 (CICM 2010) July 5-10 Paris France Seiten 34-48 Lecture Notes in Computer Science (LNCS) 6167 Springer 2010.

Zur Publikation

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