Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers: 3863 (Lecture Notes in Artificial Intelligence) - Softcover

Softcover

ISBN 10: 354031430X ISBN 13: 9783540314301

Verlag: Springer Berlin Heidelberg, 2008

Inhaltsangabe

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.

Über diesen Titel

Reseña del editor

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.

Details zur Ausgabe

• Verlag: Springer Berlin Heidelberg
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 354031430X
• ISBN 13: 9783540314301
• Einband: Tapa blanda
• Anzahl der Seiten: 420
• Herausgeber: Kohlhase Michael
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland