Mathematical Knowledge Management

Name: Mathematical Knowledge Management
Brand: Springer, Berlin
SKU: 9783540230298
Price: 1147 CZK
Availability: InStock

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

Autor: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

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

Informace o knize

Autor

Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2004

Stránek

398

EAN

9783540230298

ISBN

3540230297

Enbook ID

01559785

Vydavatel

Springer, Berlin

Hmotnost

640

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Knowledge Management

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

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také