Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Name: Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Reiner Hähnle

0 - Default Title

Product details

Binding:: Paperback
Number of Pages:: 548
Release Date:: 2011-03-28
Publication Date:: 2011-03-28
Publisher:: Springer
Languages:: Published: English, Original: English
ISBN10:: 3642142044
Weight:: 760 g

Buy on Amazon

Currently sold out

Add to Wishlist