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

Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings

Language EnglishEnglish
Book Paperback
Book Mathematical Knowledge Management Andrea Asperti
Libristo code: 01559785
Publishers Springer, Berlin, November 2003
This book constitutes the refereed proceedings of the Third International Conference on Mathematical... Full description
? points 125 b
51.53 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Historické radnice Čech, Moravy a Slezska 1. díl Zdeněk Fišera / Book Hardback
common.buy 28.33 €
Heilende Pilze Fungorum Europa Vitali / Book Paperback
common.buy 13.51 €
Jean Racine Sarah Peters / Book Paperback
common.buy 16.13 €
Anrede in Organisationen des Gesundheitswesens Tina Eisenrauch / Book Paperback
common.buy 38.22 €
SPACE MEGA MALBUCH - SPEZIAL EDITION - ENTDECKE DAS UNIVERSUM - FREMDE PLANETEN - ERKUNDE DEN WELTRAUM - UFO - Gabriele Andre / E-book Adobe ePub DRM
common.buy 10.98 €
Na naší škole nám záleží Martin Chvál / Book Paperback
common.buy 13.61 €
Leben Auf Der Walze Wolfgang Kirchbach / Book Paperback
common.buy 16.13 €
Schlangen Esther Neumann / Book Sheet
common.buy 4.02 €
Epitre A l'Humanite Et A La Patrie En Particulier, Sur Le Bon Ordre Et l'Idee de la Veritable Chevret-J / Book Paperback
common.buy 12.70 €
L'ultimo ballo di Charlot Fabio Stassi / Book Paperback
common.buy 26.01 €
Handbook of Literary Rhetoric: A Foundation for Literary Study Heinrich Lausberg / Book Hardback
common.buy 242.87 €
Jahrbuch der Psychoanalyse / Band 47 Claudia Frank / Book Paperback
common.buy 40.34 €
Discours Prononce, Le 14 Juin 1876, Au Senat Espagnol Sans Auteur / Book Paperback
common.buy 15.52 €
Československo 38-89: Atentát collegium / Audio Audio DVD
common.buy 8.97 €

This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web, knowledge repositories, mathematical knowledge representation, theorem proving systems, OWL, proof verification, formal representation, mathematical formulae processing, and the OpenMath project.

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, Grzegorz Bancerek, Andrzej Trybulec
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 398
EAN 9783540230298
ISBN 3540230297
Libristo code 01559785
Publishers Springer, Berlin
Weight 640
Dimensions 156 x 234 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 > Business applications > Mathematical & statistical software
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

The Theory of Language Holography Guanlian Qian / Book Paperback
common.buy 102.67 €
The Guardians of the Promise Dr Ron Lovell / Book Paperback
common.buy 19.26 €
Great Grenfell Gardens. Bertha H Buxton / Book Paperback
common.buy 20.67 €
The Life Of Whitelaw Reid: Journalism, War and Politics V1 Royal Cortissoz / Book Paperback
common.buy 38.12 €
Unsanctioned E G Jones / Book Hardback
common.buy 31.16 €
History of King Charles I of England Jacob Abbott / Book Hardback
common.buy 30.65 €
Meg and Mog Show Jan Pienkowski / Book Paperback
common.buy 17.44 €
Middle Atlantic Prehistory Heather A. Wholey / Book Hardback
common.buy 140.39 €
California Birds: Their Status and Distribution Arnold Small / Book Hardback
common.buy 35.39 €
Invitation, The Jerry Potter / Book Paperback
common.buy 13.40 €
Mystery Babalon: The Bhaktic and Ecstatic Rites of Babalon Hagia Aureavia / Book Paperback
common.buy 28.23 €
Top
World of the Newport Medieval Ship Evan T. Jones / Book Paperback
common.buy 35.39 €
Power Boxing Workout Secrets Sammy Franco / Book Paperback
common.buy 13.20 €
Cosmological Fine-Tuning Arguments Waller / Book Hardback
common.buy 187.80 €
Selected Poems Joseph Brodsky / Book Paperback
common.buy 10.78 €
The Roman See In The Early Church; And Other Studies In Church History William Bright / Book Paperback
common.buy 40.03 €
Top
My Hero Academia, Vol. 35 Kohei Horikoshi / Book Paperback
common.buy 8.66 €
A Master Mariner Mindset Smooth Sailing Mustafa Nejem / Book Paperback
common.buy 15.52 €
Culture and Commerce of Texts Harold Love / Book Paperback
common.buy 41.45 €
Lecture on the Study of History John Acton / Book Paperback
common.buy 8.16 €
Mechanical Integration of Plant Cells and Plants Przemyslaw Wojtaszek / Book Hardback
common.buy 153.91 €
Gender 2e Harriet Bradley / Book Paperback
common.buy 31.36 €
How to Write Tibetan Calligraphy Sanje Elliot / Book Paperback
common.buy 15.73 €
Development of the National Economy Vol 2 William J. Barber / Book Hardback
common.buy 177.41 €

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?