[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Mathematical Knowledge Management

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 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Die Leibstandarte im Bild Rudolf Lehmann / Hardback
common.buy 42.60 €
Finding Fraser K. C. Dyer / Paperback
common.buy 15.30 €
Golden Age of Air Travel Nina Hadaway / Paperback
common.buy 11.01 €
Gold Brocade and Renaissance Painting Rembrandt Duits / Hardback
common.buy 232.38 €
Letting Go Dave Harvey / Paperback
common.buy 24.18 €
European Directory of Research Centers in the Fisheries Sector / Hardback
common.buy 123.09 €
Acquisition of Verbs and their Grammar: Natalia Gagarina / Paperback
common.buy 206.48 €
Zur Bedeutung der finanziellen Infrastruktur in Entwicklungsländern. Bernhard Wolf / Paperback
common.buy 53.41 €
verfassungsgerichtliche Normenkontrolle im internationalen Vergleich Paul Gragl / Paperback
common.buy 19.21 €
Frío como el acero DAVID BALDACCI / Paperback
common.buy 11.66 €
Reviews on Biomarker Studies of Metabolic and Metabolism-Related Disorders Paul C. Guest / Hardback
common.buy 206.48 €
Laberinto de Utopia Eugenio Garbuno Avi / Paperback
common.buy 86.27 €
Prevention And Crisis Management: Lessons For Asia From The 2008 Crisis Steven Rosefielde / Hardback
common.buy 134.01 €
Sons of The Shire Sean Batman / Paperback
common.buy 23.65 €
Du spürst unter deinen Füßen das Gras Else Müller / Paperback
common.buy 12.85 €

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.

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

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