0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (3)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 4 of 4 matches in All Departments

Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International... Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings (Paperback, 2012 ed.)
Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, …
R1,525 Discovery Miles 15 250 Ships in 10 - 15 working days

This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics. The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.

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, …
R1,564 Discovery Miles 15 640 Ships in 10 - 15 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.

Artificial Intelligence, Automated Reasoning, and Symbolic Computation - Joint International Conferences, AISC 2002 and... Artificial Intelligence, Automated Reasoning, and Symbolic Computation - Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings (Paperback, 2002 ed.)
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
R1,602 Discovery Miles 16 020 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calculemus 2002 held in Marseille, France, in July 2002.The 24 revised full papers presented together with 2 system descriptions were carefully reviewed and selected from 52 submissions. Among the topics covered are automated theorem proving, logical reasoning, mathematical modeling, algebraic computations, computational mathematics, and applications in engineering and industrial practice.

Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.... Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (Paperback, 2015 ed.)
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
R2,519 Discovery Miles 25 190 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Homequip USB Rechargeable Clip on Fan (3…
R450 R380 Discovery Miles 3 800
Beast
Idris Elba, Sharlto Copley DVD R103 Discovery Miles 1 030
Baby Dove Lotion Night Time
R80 Discovery Miles 800
Seagull Metal Gym Rings
R159 Discovery Miles 1 590
Harry Potter Wizard Wand - In…
 (3)
R800 Discovery Miles 8 000
JoyDivision Anal Beads Wave Short…
R479 R419 Discovery Miles 4 190
Sudocrem Skin & Baby Care Barrier Cream…
R128 Discovery Miles 1 280
Russell Hobbs Toaster (2 Slice…
R707 Discovery Miles 7 070
3 Layer Fabric Face Mask (Blue)
R15 Discovery Miles 150
Snookums Soother Clip - Boy
R80 R68 Discovery Miles 680

 

Partners