Institute for Information Systems

PUBLICATIONS

In: Michael Kohlhase (editor). Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. International Conference on Mathematical Knowledge Management (MKM) Heidelberg Pages 33-48 LNCS 3863 Springer 2006.

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