Publications

Displaying results 1 to 2 of 2

In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10) 9th Conference on Intelligent Computer Mathematics July 8-9 Paris France Pages 398-410 Lecture Notes in Artificial Intelligence (LNAI) 6167/2010 ISBN 3-652-14127-7 Springer Verlag 7/2010.

To the publication

In: To Appear in Proceedings of MKM 2008. International Conference on Mathematical Knowledge Management (MKM-2008) 7th July 28-30 Birmingham United Kingdom Pages 520-535 Springer Verlag 7/2008.

To the publication

Year

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