Institute for Information Systems

PUBLICATIONS

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

To the publication

Contact

Office:
Simone Winter-Dawo
Tina Amas
Phone: +49 681 85775 3106
Fax: +49 681 85775 3696

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Institute for Information Systems (IWi)
Campus D3 2
Stuhlsatzenhausweg 3
66123 Saarbrücken
Germany

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