The Testaments out now
Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Lecture Notes in Artificial Intelligence 7364 (Paperback)
  • Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Lecture Notes in Artificial Intelligence 7364 (Paperback)
zoom

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Lecture Notes in Artificial Intelligence 7364 (Paperback)

(editor), (editor), (editor)
£59.99
Paperback 568 Pages / Published: 20/06/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642313646
Number of pages: 568
Weight: 873 g
Dimensions: 235 x 155 x 30 mm

You may also be interested in...

Foundation Mathematics
Added to basket
The Algorithm Design Manual
Added to basket
The Elements of Statistical Learning
Added to basket
Logic in Computer Science
Added to basket
A First Course in Logic
Added to basket
Sets, Logic and Maths for Computing
Added to basket
Boosting
Added to basket
£30.00
Paperback
Number-Crunching
Added to basket
£24.00
Hardback
Lambda-Calculus and Combinators
Added to basket
Data Analysis with Open Source Tools
Added to basket
Modelling Computing Systems
Added to basket
Discrete Mathematics
Added to basket
Quantum Computer Science
Added to basket

Please sign in to write a review

Your review has been submitted successfully.