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. £16.26, very good condition, Sold by Friends of the FCC Library rated 3.0 out of 5 stars, ships from Merced, CA, UNITED STATES, published 1984 by Prentice Hall.
Add this copy of Automated Reasoning: Introduction and Applications to cart. £200.39, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1984 by Prentice-Hall.
