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
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 145 b
21 833 Ft
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Le règlement d'arbitrage CCJA Tavaut / Book Paperback
common.buy 22 344 Ft
Černá Venuše Angela Carterová / Book Hardback
common.buy 1 965 Ft
Türk ve Dünya Edebiyatinda Masallar / Book Paperback
common.buy 4 792 Ft
Das Rad der Zeit 9 Andreas Decker / Book Paperback
common.buy 7 434 Ft
Le Petit Lenormand Silvestre / Printed items Cards
common.buy 8 992 Ft
Uważność i spokój żabki Snel Eline / Book Paperback
common.buy 5 298 Ft
Diplôme Infirmier - DEI - Cartes mentales - Infectiologie - Hygiène Jérôme Brayer / Book Paperback
common.buy 7 704 Ft
Calcio flip-flap. Impara le regole e diventa un campione Alberto Bertolazzi / Book Board book
common.buy 8 092 Ft
Как развить язык у ребён&#1082 Andrey Vyshedskiy / Book Paperback
common.buy 7 282 Ft
Almas En Provacao Adriana Vitorio de Oliveira / Book Paperback
common.buy 2 614 Ft
Eduard Winter 1896-1982 Jiří Němec / Book Paperback
common.buy 4 640 Ft
Kirschblütenzauber Kajo Lang / Book Paperback
common.buy 5 118 Ft
Die im Schatten leben: Drama in vier Akten Emil Rosenow / Book Paperback
common.buy 4 025 Ft
Traitement et gestion des effluents industriels Le Nang Dinh / Book Paperback
common.buy 12 761 Ft
Von den Quellen des Lebens Johannes Müller / Book Hardback
common.buy 24 039 Ft
Te deix, amor, la mar com a penyora. Jo pos per testimoni les gavines Carme Riera / Book Paperback
common.buy 4 247 Ft
SEL (sistema estructural liviano), para la construccion de viviendas Romero Acaro Herman Gustavo / Book Paperback
common.buy 98 663 Ft
Tra cielo e terra Anton Giulio Barrili / Book Paperback
common.buy 6 411 Ft
Tod in den Medien Simone Rieger / Book Paperback
common.buy 9 953 Ft
Einblicke in die Zweitspracherwerbsforschung und ihre methodischen Verfahren Bernt Ahrenholz / Book Hardback
common.buy 74 249 Ft
Monitoring evropské legislativy 2009-2010 Ondřej Krutílek / Book Paperback
common.buy 6 501 Ft
Česko - francouzský mluvník ekonomický neuvedený autor / Book Paperback
common.buy 1 217 Ft

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

Dwelling in the Age of Climate Change KELLY ELAINE / Book Hardback
common.buy 63 681 Ft
Our Scientific Frontier ... with Sketch-Map and Appendix. William Patrick Andrew / Book Paperback
common.buy 9 716 Ft
PHP jQuery Cookbook V. Joshi / Book Paperback
common.buy 17 581 Ft
Unstuck in Provence Carolyn Tate / Book Paperback
common.buy 8 992 Ft
Eat to Outsmart Cancer Phillips / Book Paperback
common.buy 9 427 Ft
Beyond the Horizon Harry A Renfree / Book Paperback
common.buy 6 894 Ft
Can You Sue Your Parents for Malpractice? Paula Danziger / Book Paperback
common.buy 2 434 Ft
Little Miss Tiffany A Halim Hassan / Book Paperback
common.buy 8 741 Ft
Chris Ware Jean Braithwaite / Book Hardback
common.buy 48 723 Ft
Eugene's Reading Log Martha Day Zschock / Book Hardback
common.buy 6 307 Ft
User's Guide to Preventing & Treating Headaches Naturally Berkowitz / Book Hardback
common.buy 6 591 Ft
Modern Non-Lethal Weapons Kishore Kumar Khera / Book Paperback
common.buy 13 514 Ft
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 14 986 Ft
Girls of Fate and Fury Natasha Ngan / Book Hardback
common.buy 6 004 Ft
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 19 972 Ft
Introduction to Excel for Civil Engineers Gunthar Pangaribuan / Book Paperback
common.buy 11 113 Ft
VOCABULARY SUCCESS C1 CAE SELF STUDY VVAA / Book Book
common.buy 9 025 Ft
4X4 Love: (For Life's Off-Road Experiences... Especially the Big One) Dr Leslie H Young / Book Paperback
common.buy 5 118 Ft
The Outlander P Jones / Book Paperback
common.buy 5 478 Ft
Planting My Garden Stephen Rickard / Book Paperback
common.buy 2 671 Ft
Smart Trends in Information Technology and Computer Communications A. V. Deshpande / Book Paperback
common.buy 20 389 Ft
Boenninghausen's Characteristics and Repertory V1 C. Von Boenninghausen / Book Paperback
common.buy 18 680 Ft
Light's Eyes Yvette Bostic / Book Paperback
common.buy 7 600 Ft
Kloof Bride; Or, the Lover's Quest, Etc. Ernest Glanville / Book Paperback
common.buy 10 630 Ft

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?