Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings, (Paperback)

Name: Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings, (Paperback)
Brand: Bernhard Gramlich
SKU: prod_36f72c61a66e51f3edac55b7
Price: 118.00 USD
Availability: InStock

Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings, (Paperback) Author: Springer ISBN: 9783642313646 Format: Paperback Publication Date: 2012-06-20 Page Count: 568

Shipping & Returns

Price unavailable

Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings, (Paperback)—

$118.00

Price unavailable

Automated Reasoning: 6th International Joint Conference, Ijcar 2012, Manchester, Uk, June 26-29, 2012, Proceedings, (Paperback)—

$118.00