This second edition explains what automated reasoning is and what it can do, and then demonstrates how to use it to solve complex problems with applications in logic circuit design, circuit validation, real-time system design, and expert systems.
Read More
This second edition explains what automated reasoning is and what it can do, and then demonstrates how to use it to solve complex problems with applications in logic circuit design, circuit validation, real-time system design, and expert systems.
Read Less
Add this copy of Automated Reasoning: Introduction and Applications to cart. $3.48, good condition, Sold by ThriftBooks-Baltimore rated 5.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1984 by Prentice Hall.
Add this copy of Automated Reasoning: Introduction and Applications to cart. $3.48, fair condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1984 by Prentice Hall.
Add this copy of Automated Reasoning: Introduction and Applications to cart. $5.00, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1984 by Prentice Hall.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Automated Reasoning: Introduction and Applications to cart. $5.83, very good condition, Sold by Wonder Book - Member ABAA/ILAB rated 5.0 out of 5 stars, ships from Frederick, MD, UNITED STATES, published 1984 by Prentice Hall.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
Add this copy of Automated Reasoning: Introduction and Applications to cart. $9.98, very good condition, Sold by GeorgeCrossBooks rated 4.0 out of 5 stars, ships from Lexington, MA, UNITED STATES, published 1984 by Prentice-Hall.
Add this copy of Automated Reasoning: Introduction and Applications to cart. $11.31, good condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1992 by McGraw-Hill Companies.
Add this copy of Automated Reasoning: Introduction and Applications/Book to cart. $11.32, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1992 by McGraw-Hill.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Automated Reasoning: Introduction and Applications to cart. $14.00, very good condition, Sold by Friends of the FCC Library rated 1.0 out of 5 stars, ships from Merced, CA, UNITED STATES, published 1984 by Prentice Hall.
Add this copy of Automated Reasoning: Introduction & Applications, 2nd to cart. $32.02, very good condition, Sold by BookDepart rated 4.0 out of 5 stars, ships from Shepherdstown, WV, UNITED STATES, published 1992 by McGraw Hill.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
UsedVeryGood. Hardcover, 2nd edition, with sealed software; light fading, scuffing to ext erior; small tear at top end of spine; in very good condition with clean te xt, firm binding. No dust jacket.
Add this copy of Automated Reasoning: Introduction and Applications to cart. $32.82, new condition, Sold by Chidoc5 Rare Books rated 4.0 out of 5 stars, ships from Highland Park, IL, UNITED STATES, published 1984 by Prentice Hall.
