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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
