When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Mathematical Knowledge Management : 4th International Conference, Mkm 2005, B...
- Item No : 388764052503
- Condition : Brand New
- Brand : No brand Info
- Seller : greatbookprices1
- Current Bid : US $84.90
-
* Item Description
- Mathematical Knowledge Management : 4th International Conference, Mkm 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, Paperback by Kohlhase, Michael (EDT), ISBN 354031430X, ISBN-13 9783540314301, Brand New, Free shipping in the US
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.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
