|
|
|
books
| book details |
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
Edited by Jacques Carette, Edited by David Aspinall, Edited by Christoph Lange, Edited by Petr Sojka, Edited by Wolfgang Windsteiger
|
| on special |
normal price: R 1 782.95
Price: R 1 692.95
|
| book description |
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.
| product details |
Normally shipped |
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 22 Jul 2013
Language |
Format | Paperback / softback
Pages | 384
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-6423-9319-8
Readership Age |
BISAC | computers / computer science
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 267.95
Price | R 2 153.95
| on special |
|
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
Mason Coile
Paperback / softback
224 pages
was: R 542.95
now: R 488.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
|
|
