Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science (2083))
Gore, Rajeev,Leitsch, Alexander,Nipkow, Tobias
Sold by Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
AbeBooks Seller since June 7, 2002
Used - Soft cover
Condition: Used - Good
Quantity: 1 available
Add to basket