0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Intelligent Computer Mathematics - 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings (Paperback, 2009 ed.) Loot Price: R1,586
Discovery Miles 15 860
Intelligent Computer Mathematics - 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada,...

Intelligent Computer Mathematics - 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings (Paperback, 2009 ed.)

Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen Watt

Series: Lecture Notes in Computer Science, 5625

 (sign in to rate)
Loot Price R1,586 Discovery Miles 15 860 | Repayment Terms: R149 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics (cicm 2009) is a c- lection of co-located meetings, allowing researchers and practitioners active in these related areas to share recent results and identify the next challenges. The speci?c areas of the cicm conferences and workshops are described below, but the unifying theme is the computerized handling of mathematical knowledge. The successful formalization of much of mathematics, as well as a better - derstanding of its internal structure, makes mathematical knowledge in many waysmore tractable than generalknowledge, as traditionally treatedin arti?cial intelligence. Similarly, we can also expect the problem of e?ectively using ma- ematical knowledge in automated ways to be much more tractable. This is the goal of the work in the cicm conferences and workshops. In the long view, so- ing the problems addressed by cicm is an important milestone in formulating the next generation of mathematical software

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 5625
Release date: June 2009
First published: 2009
Editors: Jacques Carette • Lucas Dixon • Claudio Sacerdoti Coen • Stephen Watt
Dimensions: 235 x 155 x 28mm (L x W x T)
Format: Paperback
Pages: 493
Edition: 2009 ed.
ISBN-13: 978-3-642-02613-3
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-642-02613-3
Barcode: 9783642026133

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

The Hitchhiker's Guide To AI - The…
Arthur Goldstuck Paperback R330 R305 Discovery Miles 3 050
African Artificial Intelligence…
Mark Nasila Paperback R350 R312 Discovery Miles 3 120
Digital Dharma - How AI Can Elevate…
Deepak Chopra Paperback R440 R393 Discovery Miles 3 930
Artificial Intelligence for Neurological…
Ajith Abraham, Sujata Dash, … Paperback R4,171 Discovery Miles 41 710
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,242 Discovery Miles 12 420
Machine Learning and Data Mining
I Kononenko, M Kukar Paperback R2,019 Discovery Miles 20 190
Deceitful Media - Artificial…
Simone Natale Hardcover R2,585 Discovery Miles 25 850
Intelligent Communication Systems…
Nobuyoshi Terashima Hardcover R1,611 Discovery Miles 16 110
Constructions at Work - The nature of…
Adele Goldberg Hardcover R2,133 Discovery Miles 21 330
Happimetrics - Leveraging AI to Untangle…
Peter A. Gloor Hardcover R2,984 Discovery Miles 29 840
AI Engineering - Building Applications…
Chip Huyen Paperback R1,386 Discovery Miles 13 860
Taking The Anxiety Out Of AI - Humans…
Sameer Rawjee Paperback R320 R275 Discovery Miles 2 750

See more

Partners