8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings (Lecture Notes in Computer Science, 230)
Sold by -OnTimeBooks-, Phoenix, AZ, U.S.A.
AbeBooks Seller since March 9, 2023
Used - Soft cover
Condition: Used - Good
Ships within U.S.A.
Quantity: 1 available
Add to basket