Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science)
Gore, Rajeev [Editor]; Leitsch, Alexander [Editor]; Nipkow, Tobias [Editor];
Sold by GuthrieBooks, Spring Branch, TX, U.S.A.
AbeBooks Seller since February 1, 2007
Used - Soft cover
Condition: Used - Very good
Quantity: 1 available
Add to basket