Gebraucht - Gut Verlagsm�ngelex., X, 225 p. Also available online 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.

Seller Inventory # 13936

Contact seller

Report this item

Bibliographic Details

Title

Mathematical Knowledge Management.

Publisher

Berlin Springer Verlag

Publication Date

2003

Language

English

ISBN 10

3540005684

ISBN 13

9783540005681

Binding

Softcover

Condition

Gut

Seller catalogs

About this title

Synopsis

Digitisation,Representation,andFormalisation (DigitalLibrariesofMathematics) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Andrew A. Adams MKMfromBooktoComputer:ACaseStudy . . . . . . . . . . . . . . . . . . . . . . .

"About this title" may belong to another edition of this title.

Store Description

Online Handel mit gebrauchten und antiquarischen B�chern.

Visit Seller's Storefront

Seller's business information

CSG Onlinebuch GMBH
Bunsenstr. 6, Darmstadt, 64293, Germany

Sale & Shipping Terms

Terms of Sale

Verantwortlich im Sinne des Presserechts und des Mediendienste-Staatsvertrages sowie Diensteanbieter gem�� der Commerce-Richtlinie der EU ist die CSG Onlinebuch GmbH. Postadresse: CSG Onlinebuch GmbH Bunsenstr. 6 D-64293 Darmstadt, Tel.: 06151-988530, Mail: info@onlinebuch.de

Vertretungsberechtigte Gesellschafter: Stefan Gude Handelsregister: HRB 5604 - Amtsgericht Darmstadt Ust.-ID gem�ss Para. 27 a Umsatzsteuergesetz: DE147863163

Allgemeine Gesch�ftsbedingungen und Kundeninformationen

I. Allge...

More Information

Shipping Terms

2-5 Werktage / B�chersendungen bis zu 7 Werktagen (nach Zahlungseingang)

Gilt f�r Lieferungen nach Deutschland. Lieferzeit f�r andere L�nder maximal 14 Werktage.

Die Frist f�r die Lieferung beginnt bei Zahlung per Vorkasse am Tag nach Erteilung des Zahlungsauftrags an das �berweisende Kreditinstitut bzw. bei anderen Zahlungsarten am Tag nach Vertragsschluss zu laufen und endet mit dem Ablauf des letzten Tages der Frist. F�llt der letzte Tag der Frist auf einen Samstag, Sonntag oder einen am Lieferort staatlich anerkannten allgemeinen Feiertag, so tritt an die Stelle eines solchen Tages der n�chste Werktag.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	25 to 45 business days	25 to 45 business days
First item	US$ 41.00	US$ 41.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.