Mathematical Knowledge Management : 5th
Borwein, Jonathan M.
ISBN 10: 3540371044 ISBN 13: 9783540371045
Published by Springer, 2006
New
Soft cover
From
Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
AbeBooks Seller since February 27, 2001
This specific item is no longer available.
About this Item
Description:
Seller Inventory # V9783540371045
Synopsis:
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The book presents 22 revised full papers. Coverage extends to the mathematical knowledge management at the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Mathematical Knowledge Management : 5th
Publisher: Springer
Publication Date: 2006
Binding: Soft cover
Condition: New