Towards mechanized mathematical assistants
Subtitle: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
By: Manuel Kauers ... [et al.] (eds.).
Contributors: Kauers, Manuel.; MKM 2007 (2007 : Hagenberg im Mühlkreis, Austria)
Series: Lecture notes in computer science -- 4573. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 4573.; Lecture notes in computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 406
ISBN-13: 9783540730835
Subjects: Algebra -- Data processing -- Congresses; Mathematical analysis -- Data processing -- Congresses; Logic, Symbolic and mathematical -- Congresses; Knowledge management -- Congresses
Genres: Congresses.
Other titles: Calculemus 2007.; MKM 2007.
Notes: Includes bibliographical references and author index.