Mathematical Knowledge Management

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

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

Autor: Andrea Asperti, Bruno Buchberger, James Harold Davenport

Jazyk:

Väzba: Brožovaná

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

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.19 €

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

Informácie o knihe

Autor

Andrea Asperti, Bruno Buchberger, James Harold Davenport

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2003

Stránok

230

EAN

9783540005681

ISBN

3540005684

Enbook ID

01556183

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

760

Rozmery

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 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

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

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ž