Publikationen

In: Serge Autexier , J. Campbell , J. Rubio (Hrsg.). 7th International Conference on Mathematical Knowledge Management (MKM 2007). International Conference on Mathematical Knowledge Management (MKM-2007) befindet sich Conferences on Intelligent Computer Mathematics (CICM 2008) July 28-August 1 Birmingham United Kingdom Seiten 339-354 Lecture Notes in Computer Science (LNCS) 5144 Springer 2008.

Zur Publikation

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