Mathematical Knowledge Management

Released on by Michael Kohlhase
preview-18

  • Mathematical Knowledge Management Book Detail

  • Author : Michael Kohlhase
  • Release Date : 2006-01-20
  • Publisher : Springer
  • Genre : Computers
  • Pages : 414
  • ISBN 13 : 3540314318
  • File Size : 14,14 MB
DOWNLOAD BOOK

Mathematical Knowledge Management by Michael Kohlhase PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Mathematical Knowledge Management books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Mathematical Knowledge Management

Mathematical Knowledge Management

File Size : 93,93 MB
Total View : 5603 Views
DOWNLOAD

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full pap