Add this copy of Automated Reasoning: 33 Basic Research Problems Wos, to cart. $15.12, very good condition, Sold by Books On The Run rated 4.0 out of 5 stars, ships from Ocala, FL, UNITED STATES, published 1988 by Prentice Hall.
Add this copy of Automated Reasoning: 33 Basic Research Problems to cart. $43.09, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1987 by Prentice Hall.
Add this copy of Automated Reasoning: 33 Basic Research Problems to cart. $98.67, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1987 by Prentice Hall.
