Towards mechanized mathematical assistants：14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings

Corporate Authors: Calculemus 2007 (2007 Hagenberg im Mühlkreis, Austria); MKM 2007 (2007 Hagenberg im Mühlkreis, Austria) (Hagenberg im Mühlkreis, Austria)); NetLibrary, Inc.
Group Author: Kauers Manuel.
Published: Springer,
Publication Dates: c2007.