This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical knowledge management at the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and ...
Read More
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical knowledge management at the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
Read Less
Add this copy of Mathematical Knowledge Management: 5th International to cart. $9.66, very good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 2006 by Springer.
Add this copy of Mathematical Knowledge Management: 5th International to cart. $42.64, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2006 by Springer.
Add this copy of Mathematical Knowledge Management to cart. $50.11, new condition, Sold by discount_scientific_books rated 4.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of Mathematical Knowledge Management to cart. $50.59, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2006 by Springer.
Add this copy of Mathematical Knowledge Management: 5th International to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2006 by Springer.