Book Details

Mathematical Knowledge Management (vol. # 3863)

Publish Date: 2006

ISBN: 978-3-540-31431-8

Internet Resource: Please Login to download book

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany.

Subject: Computer Science, Algebra, automated theorem proving, e-learning, equation, formal logic, formal mathematics, interactive algebra, knowledge management, latex, learning, mathematical encoding, mathematical knowledge management, proof, proving, theorem