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/Book to cart. £66.88, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1992 by McGraw-Hill.
Add this copy of Automated Reasoning: Introduction and Applications to cart. £23.24, new condition, Sold by Chidoc5 Rare Books rated 2.0 out of 5 stars, ships from Highland Park, IL, UNITED STATES, published 1984 by Prentice Hall.
Add this copy of Automated Reasoning: Introduction and Applications to cart. £91.62, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1984 by Prentice Hall.
