Mathematical Knowledge Management: Third International...

Buy Mathematical Knowledge Management: Third International... here, one of many Data Center Management books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > Data Center Management > Item 466

	Mathematical Knowledge Management: Third International...
	by Andrea Asperti, Grzegorz Bancerek, and Andrzej Trybulec Sales Rank: 2262558	Discount: 32 % $73.99 At Amazon on 6-27-2008.

*Features* Cover Type: Paperback with 393 pages Published by: Springer Edition: 1st Edition November 10, 2004 Written in: English ISBN 10 Number: 3540230297 ISBN 13 Number: 978-3540230298 Book Dimensions: 9.2 x 6.1 x 0.8 inches Weighs: 1.3 pounds *Book Description* 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. Back To Top
Mathematical Knowledge Management: Third International... Discount: 32 % Available from Amazon Price: $73.99 Updated on 6-27-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer Mathematical Knowledge Management: Third International... and other related Data Center Management Books here at Rbookshop.com. To view more books about Data Center Management please use the previous and next buttons near the top of this page.