Publikationen

In: M. Kauers , M. Kerber , R. Miner , W. Windsteiger (Hrsg.). 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 Seiten 176-190 LNAI 4573 Springer 6/2007.

Zur Publikation

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