Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers by Michael KohlhaseMathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers by Michael Kohlhase

Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15…

byMichael Kohlhase

Paperback | February 1, 2006

Pricing and Purchase Info

$136.79 online 
$164.50 list price save 16%
Earn 684 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers cover mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies.
Title:Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15…Format:PaperbackDimensions:408 pages, 23.5 × 15.5 × 1.73 inPublished:February 1, 2006Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354031430X

ISBN - 13:9783540314301

Look for similar items by category:

Reviews