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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Mathematical Knowledge Management

4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Mathematical Knowledge Management Michael Kohlhase
Libristo code: 01561625
Publishers Springer, Berlin, November 2005
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference o... Full description
? points 148 b
60.39 € VAT included
Low in stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Le règlement d'arbitrage CCJA Tavaut / Book Paperback
common.buy 63.79 €
Kirschblütenzauber Kajo Lang / Book Paperback
common.buy 13.59 €
Diplôme Infirmier - DEI - Cartes mentales - Infectiologie - Hygiène Jérôme Brayer / Book Paperback
common.buy 22.19 €
Černá Venuše Angela Carterová / Book Hardback
common.buy 5.69 €
Die im Schatten leben: Drama in vier Akten Emil Rosenow / Book Paperback
common.buy 10.69 €
Von den Quellen des Lebens Johannes Müller / Book Hardback
common.buy 67.90 €
Te deix, amor, la mar com a penyora. Jo pos per testimoni les gavines Carme Riera / Book Paperback
common.buy 13.49 €
SEL (sistema estructural liviano), para la construccion de viviendas Romero Acaro Herman Gustavo / Book Paperback
common.buy 71.69 €
Tra cielo e terra Anton Giulio Barrili / Book Paperback
common.buy 16.89 €
Ikone Karl Marx Elisabeth Dühr / Book Hardback
common.buy 38.89 €
Tod in den Medien Simone Rieger / Book Paperback
common.buy 27.95 €
Einblicke in die Zweitspracherwerbsforschung und ihre methodischen Verfahren Bernt Ahrenholz / Book Hardback
common.buy 196.19 €
Česko - francouzský mluvník ekonomický neuvedený autor / Book Paperback
common.buy 3.79 €

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers cover mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies.

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 Michael Kohlhase
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 408
EAN 9783540314301
ISBN 354031430X
Libristo code 01561625
Publishers Springer, Berlin
Weight 589
Dimensions 155 x 235 x 21

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Digital lifestyle > Internet guides & online services > Internet searching
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Database programming
Computing & Information Technology > Databases > Data warehousing
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Artificial intelligence
Mathematics & Science > Mathematics
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

Can You Sue Your Parents for Malpractice? Paula Danziger / Book Paperback
common.buy 6.49 €
Improving Federal and Department of Defense Use of Service-Disabled Veteran-Owned Businesses Amy G. Cox / Book Paperback
common.buy 19.89 €
Can Human Rights Survive? Conor Gearty / Book Hardback
common.buy 47.99 €
Our Scientific Frontier ... with Sketch-Map and Appendix. William Patrick Andrew / Book Paperback
common.buy 25.69 €
Illustrations of the Literary History of the Eighteenth Century, Consisting of Authentic Memoir and Original Letters of Eminent Persons, and Intended John Nichols / Book Paperback
common.buy 39.69 €
PHP jQuery Cookbook V. Joshi / Book Paperback
common.buy 46.49 €
Unstuck in Provence Carolyn Tate / Book Paperback
common.buy 25.69 €
Planting My Garden Stephen Rickard / Book Paperback
common.buy 7.29 €
Eat to Outsmart Cancer Phillips / Book Paperback
common.buy 26.89 €
Beyond the Horizon Harry A Renfree / Book Paperback
common.buy 18.09 €
Boenninghausen's Characteristics and Repertory V1 C. Von Boenninghausen / Book Paperback
common.buy 49.49 €
Little Miss Tiffany A Halim Hassan / Book Paperback
common.buy 23.19 €
Eugene's Reading Log Martha Day Zschock / Book Hardback
common.buy 16.49 €
User's Guide to Preventing & Treating Headaches Naturally Berkowitz / Book Hardback
common.buy 17.29 €
The Outlander P Jones / Book Paperback
common.buy 14.49 €
Dwelling in the Age of Climate Change KELLY ELAINE / Book Hardback
common.buy 169.19 €
All about Forex: DAY TRADING; MOVING AVERAGE; DAY TRADING SPYCHOLOGY; FOREX COURSES; FOREX BROKERS; POSITION/LONG TERM TRADING; Support Ephraim a Archibong / Book Paperback
common.buy 52.79 €
Introduction to Excel for Civil Engineers Gunthar Pangaribuan / Book Paperback
common.buy 29.39 €
Fundamental Problems of Western Metaphysics Xavier Zubiri / Book Paperback
common.buy 67.49 €
2026 Gratitude Planner Melanie Spears / Book Hardback
common.buy 20.59 €
Winnie and Wilbur: The Flying Carpet Valerie Thomas / Book Paperback
common.buy 9.19 €
Coming soon
100 Things to make and do Fiona Watt / Book Paperback
common.buy 12.09 €
Let's Play Leo Lionni / Book Board book
common.buy 6.59 €
After Columbus Axtell / Book Paperback
common.buy 82.89 €

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?