Mathematical Knowledge Management

Name: Mathematical Knowledge Management
Brand: Springer, Berlin
SKU: 9783540314301
Price: 296.72 RON
Availability: InStock

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

Autor: Michael Kohlhase

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern în cantități mici

Expediem în 11-15 zile

296.72 lei

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference o...

Informații despre carte

Autor

Michael Kohlhase

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2006

Pagini

408

EAN

9783540314301

ISBN

354031430X

Enbook ID

01561625

Editura

Springer, Berlin

Greutate

589

Dimensiuni

155 x 235 x 21

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Mathematical Knowledge Management

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și