INTELLIGENT COMPUTER MATHEMATICS: 9TH INTERNATIONAL CONFERENCE, AISC 2008 15TH SYMPOSIUM: 9th International Conference, AISC 2008 15th Symposium, … 5144 (Lecture Notes in Computer Science)

Print length: 602 pages
Language: English
Publication date: 16 July 2008

Name: INTELLIGENT COMPUTER MATHEMATICS: 9TH INTERNATIONAL CONFERENCE, AISC 2008 15TH SYMPOSIUM: 9th International Conference, AISC 2008 15th Symposium, ... 5144 (Lecture Notes in Computer Science)
SKU: 9783540851097
Availability: InStock

SKU: 9783540851097

Original price was: ₹9,408.45.Current price is: ₹8,467.61.

Explore the forefront of intelligent computer mathematics with the proceedings from AISC 2008, Calculemus 2008, and MKM 2008, presented in “INTELLIGENT COMPUTER MATHEMATICS: 9TH INTERNATIONAL CONFERENCE, AISC 2008 15TH SYMPOSIUM”. This essential volume gathers revised papers and invited talks from the CICM 2008 conference, covering computer algebra, theorem proving, artificial intelligence, user interfaces, knowledge management, and theory exploration. Discover advancements driving the development of integrated mechanized mathematical assistants for computer scientists and engineers. Ideal for researchers and professionals seeking cutting-edge insights in computational mathematics and artificial intelligence. Purchase this comprehensive collection from The Bookish Owl to advance your understanding.

5 in stock

Category: Higher Education Textbooks Tag: Serge Autexier