Automated Reasoning: Third International Joint Conference, Ijcar 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science)
by Furbach, Ulrich [Editor]; Shankar, Natarajan [Editor];
Add this copy of Automated Reasoning: Third International Joint to cart. $20.35, very good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 2007 by Springer.
Automated Reasoning: Third International Joint Conference, Ijcar 2006, Seattle, Wa, Usa, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science, 4130)
Add this copy of Automated Reasoning: Third International Joint to cart. $55.31, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2006 by Springer.