Mathematical Knowledge Management

Name: Mathematical Knowledge Management
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540005681
Price: 1147 CZK
Availability: InStock

Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Autor: Andrea Asperti, Bruno Buchberger, James Harold Davenport

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This book constitutes the refereed proceedings of the Second International Conference on Mathematica...

Informace o knize

Autor

Andrea Asperti, Bruno Buchberger, James Harold Davenport

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2003

Stránek

230

EAN

9783540005681

ISBN

3540005684

Enbook ID

01556183

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

760

Rozměry

155 x 235 x 14

Kompletní popis

This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003.§The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.

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

Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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