0
Your cart

Your cart is empty

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

Buy Now

Intelligent Computer Mathematics - 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings (Paperback, 2008 ed.) Loot Price: R947
Discovery Miles 9 470
You Save: R1,320 (58%)
Intelligent Computer Mathematics - 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International...

Intelligent Computer Mathematics - 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings (Paperback, 2008 ed.)

Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk

Series: Lecture Notes in Computer Science, 5144

 (sign in to rate)
List price R2,267 Loot Price R947 Discovery Miles 9 470 | Repayment Terms: R87 pm x 12* You Save R1,320 (58%)

Bookmark and Share

Expected to ship within 12 - 17 working days

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics.

The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 5144
Release date: July 2008
First published: 2008
Editors: Serge Autexier • John Campbell • Julio Rubio • Volker Sorge • Masakazu Suzuki • Freek Wiedijk
Dimensions: 235 x 155 x 36mm (L x W x T)
Format: Paperback
Pages: 602
Edition: 2008 ed.
ISBN-13: 978-3-540-85109-7
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Internet > Network computers
Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers
Books > Computing & IT > Applications of computing > Databases > Data mining
Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN: 3-540-85109-7
Barcode: 9783540851097

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!

Partners