Publications

Displaying results 1 to 1 of 1

In: Towards Mechanized Mathematical Assistants. International Conference on Mathematical Knowledge Management (MKM) 14th Symposium (Calcemus-2007) and 6th International Conference (MKM-2007) June 27-30 Hagenberg Austria Pages 176-190 LNAI 4573 Springer 6/2007.

To the publication

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