Kohlhase | Mathematical Knowledge Management | E-Book | www.sack.de
E-Book

E-Book, Englisch, Band 3863, 408 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Kohlhase Mathematical Knowledge Management

4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
2006
ISBN: 978-3-540-31431-8
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

E-Book, Englisch, Band 3863, 408 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-31431-8
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Kohlhase Mathematical Knowledge Management jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Kohlhase, Michael
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.