Mathematical Knowledge Management

Name: Mathematical Knowledge Management
Brand: Springer, Berlin
SKU: 9783540230298
Price: 19399 HUF
Availability: InStock

Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings

Szerző: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Nyelv:

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

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 399 Ft

This book constitutes the refereed proceedings of the Third International Conference on Mathematical...

Információk a könyvről

Szerző

Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2004

oldal

398

EAN

9783540230298

ISBN

3540230297

Enbook ID

01559785

Kiadó

Springer, Berlin

Súly

640

Méretek

156 x 234 x 21

Teljes leírás

This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web, knowledge repositories, mathematical knowledge representation, theorem proving systems, OWL, proof verification, formal representation, mathematical formulae processing, and the OpenMath project.

É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

Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings

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