Cover is for reference only

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

Saved in:
Bibliographic Details
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,
Publisher Address: Berlin New York
Publication Dates: c2007.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 4573.
Subjects:
Logic, Symbolic and mathematical.
Knowledge management.
Electronic books.
Algebra > Data processing.
Mathematical analysis > Data processing
Online Access: http://dx.doi.org/10.1007/978-3-540-73086-6
Carrier Form: xiii, 406 p.: ill. ; 24 cm.
ISBN: 9783540730866 (electronic bk.)
3540730869 (electronic bk.)
Index Number: O15
CLC: O15-532
Contents: Includes bibliographical references and index.

Related Book Recommendations