Mathematical Knowledge Management

Name: Mathematical Knowledge Management
Brand: Springer, Berlin
SKU: 9783540314301
Price: 20396 HUF
Availability: InStock

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

Szerző: Michael Kohlhase

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 11-15 napon belül

20 396 Ft

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

Információk a könyvről

Szerző

Michael Kohlhase

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2006

oldal

408

EAN

9783540314301

ISBN

354031430X

Enbook ID

01561625

Kiadó

Springer, Berlin

Súly

589

Méretek

155 x 235 x 21

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Mathematical Knowledge Management

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták