Mathematical Knowledge Management

Name: Mathematical Knowledge Management
Brand: Springer, Berlin
SKU: 9783540230298
Price: 213.09 PLN
Availability: InStock

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

Autor: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

213.09 zł

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

Informacje o książce

Autor

Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2004

strony

398

EAN

9783540230298

ISBN

3540230297

Enbook ID

01559785

Wydawca

Springer, Berlin

Waga

640

Wymiary

156 x 234 x 21

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Knowledge Management

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również