Add this copy of Automated Reasoning (Ifip Transactions a: Computer to cart. $4.95, like new condition, Sold by Bookmonger.Ltd rated 4.0 out of 5 stars, ships from Hillside, NJ, UNITED STATES, published 1993 by North Holland.
Add this copy of Automated Reasoning (Ifip Transactions a: Computer to cart. $4.95, very good condition, Sold by Bookmonger.Ltd rated 4.0 out of 5 stars, ships from Hillside, NJ, UNITED STATES, published 1993 by North Holland.
Add this copy of Automated Reasoning (Ifip Transactions a: Computer to cart. $32.45, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1993 by North Holland.