Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Bernhard Gramlich

Instant online reading.
Don't wait for delivery!

Automated Reasoning

6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

By: Bernhard Gramlich (Editor), Dale Miller (Editor), Ulrike Sattler (Editor)

Write A Review

Paperback | 20 June 2012

At a Glance

Paperback
584 Pages

Dimensions(cm)
23.5 x 15.49 x 3.0

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.