Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science)

Asperti, Andrea [Editor]; Buchberger, Bruno [Editor]; Davenport, James Harold [Editor];

ISBN 10: 3540005684 / ISBN 13: 9783540005681

Published by Springer, 2003

About this Item

Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Seller Inventory # DA1412237

Bibliographic Details

• Title: Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science)
• Publisher: Springer
• Publication Date: 2003
• Language: English
• ISBN 10: 3540005684
• ISBN 13: 9783540005681
• Binding: Paperback
• Condition: Very Good

About this title

Synopsis

Digitisation,Representation,andFormalisation (DigitalLibrariesofMathematics) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Andrew A. Adams MKMfromBooktoComputer:ACaseStudy . . . . . . . . . . . . . . . . . . . . . . .