Mathematical Knowledge Management / Lecture Notes in Computer Science Bd.3863 (PDF)
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...
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 2006, 2006, 408 Seiten, Englisch
- Herausgegeben: Michael Kohlhase
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540314318
- ISBN-13: 9783540314318
- Erscheinungsdatum: 20.01.2006
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 4.63 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Mathematical Knowledge Management / Lecture Notes in Computer Science Bd.3863".
Kommentar verfassen