2006
Paperback (26 Jul 2006)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
| ISBN: | 9783540371045 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 26 Jul 2006 |
| Edition: | 2006 |
| DEWEY: | 510.285 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 294 |
| Weight: | 960g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 16mm |
$0.99off
Paperback
Published 04 Mar 2021
Save $0.99
$8.70off
Hardback
Published 06 Jul 2023
Save $8.70
$11.96off
Hardback
Published 02 Aug 2023
Save $11.96
$1.55off
Paperback
Published 26 Jul 2023
Save $1.55
$4.49off
Paperback
Published 26 Jun 2023
Save $4.49
