Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Mathematical Knowledge Management

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

Language EnglishEnglish
Book Paperback
Book Mathematical Knowledge Management Andrea Asperti
Libristo code: 01556183
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2003
This book constitutes the refereed proceedings of the Second International Conference on Mathematica... Full description
? points 125 b
51.69 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Moja zla Prijateljica Ivana Leleković Car / Book Paperback
common.buy 15.98 €
Eine Exploration systemischer Referenzpunkte im personenzentrierten Ansatz / Book Paperback
common.buy 38.34 €
Main Tera Boyfriend Tu Meri Girlfriend Gourav Kumar / E-book Adobe ePub DRM
common.buy 1.31 €
Le parfum de l'avenir GIORDANO / Book Paperback
common.buy 15.57 €
Parcelles / Book Paperback
common.buy 20.93 €
Zur Bedeutung der finanziellen Infrastruktur in Entwicklungsländern. Bernhard Wolf / Book Paperback
common.buy 56.55 €
Dynamické reklamy David Bauckmann / Book Paperback
common.buy 7.17 €
Du spürst unter deinen Füßen das Gras Else Müller / Book Paperback
common.buy 13.55 €
verfassungsgerichtliche Normenkontrolle im internationalen Vergleich Paul Gragl / Book Paperback
common.buy 16.18 €
Die Leibstandarte im Bild Rudolf Lehmann / Book Hardback
common.buy 38.03 €
Lisa e il viaggio in aereo Liesbet Slegers / Book Paperback
common.buy 18.61 €
Frío como el acero DAVID BALDACCI / Book Paperback
common.buy 22.05 €
Laberinto de Utopia Eugenio Garbuno Avi / Book Paperback
common.buy 62.21 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Mathematical Knowledge Management
Author Andrea Asperti, Bruno Buchberger, James Harold Davenport
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 230
EAN 9783540005681
ISBN 3540005684
Libristo code 01556183
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 760
Dimensions 155 x 235 x 14

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Database programming
Computing & Information Technology > Databases > Data warehousing
Computing & Information Technology > Databases > Information retrieval
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Analysis and Numerics for Conservation Laws G. Warnecke / Book Hardback
common.buy 114.62 €
The Old West in Fiction Irwin R Blacker / Book Paperback
common.buy 42.99 €
George Facer's Edexcel A Level Chemistry Student Book 1 George Facer / Book Paperback
common.buy 57.16 €
11-Step Formula to Bridge the Gap Between Parents and Teenagers Ana H B Weber / Book Paperback
common.buy 10.61 €
I Search My Mind for Answers Matt McCallister / Book Hardback
common.buy 17.90 €
Rational Number Theory in the 20th Century Wladyslaw Narkiewicz / Book Hardback
common.buy 133.85 €
Nautical Gazetteer; Or, Dictionary of Maritime Geography, Etc. Anonymous / Book Paperback
common.buy 21.44 €
Home That God Built Cindy Miller / Book Paperback
common.buy 19.32 €
From Palm Beach to Northwestern U. Norma Gatje-Smith / Book Paperback
common.buy 12.33 €
Breaking Free from Unresolved Grief Dr William F Pegues / Book Paperback
common.buy 19.42 €
Cognitive Neuropsychology of Schizophrenia (Classic Edition) Christopher Donald Frith / Book Paperback
common.buy 78.30 €
Great Thinkers of the Kazakh Steppe Yerkebulan Dzhelbuldin Dana Jeteyeva / Book Paperback
common.buy 15.47 €
The Outcry (1911) Henry James / Book Paperback
common.buy 21.24 €
ASTM Food Handler Answer Sheets - 10 pack National Restaurant Associatio / Book Paperback
common.buy 97.12 €
Finding Fraser K. C. Dyer / Book Paperback
common.buy 14.05 €
Face the Music Jacie Floyd / Book Paperback
common.buy 10.31 €
Behavioral Iridology: Self-Love and Intamacy: A Guide to Conscious Relationships Jim Verghis Bi / Book Paperback
common.buy 47.95 €
Reviews on Biomarker Studies of Metabolic and Metabolism-Related Disorders Paul C. Guest / Book Hardback
common.buy 154.39 €
Companion to Greek Literature MARTIN HOSE / Book Paperback
common.buy 57.86 €
Wood Burn Book Rachel Strauss / Book Paperback
common.buy 20.12 €
Be Enough For Yourself First: So That You Can Be Enough For That Someone Who Deserves You Ast Creations / Book Paperback
common.buy 9.40 €
Issues of the Overseas Indians Rakesh Kumar Dubey / Book Paperback
common.buy 15.17 €
My Hero Academia: Vigilantes, Vol. 9 Kohei Horikoshi / Book Paperback
common.buy 8.69 €
Safety Risk Management for Medical Devices Bijan Elahi / E-book Adobe ePub DRM
common.buy 139.92 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?