Mathematical Knowledge Management

Name: Mathematical Knowledge Management
Brand: Springer, Berlin
SKU: 9783540230298
Price: 50.07 EUR
Availability: InStock

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

Autor: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.07 €

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

Informácie o knihe

Autor

Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2004

Stránok

398

EAN

9783540230298

ISBN

3540230297

Enbook ID

01559785

Vydavateľ

Springer, Berlin

Hmotnosť

640

Rozmery

156 x 234 x 21

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Knowledge Management

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež