Automated Reasoning
Download or Read eBook Automated Reasoning PDF written by Larry Wos and published by McGraw-Hill Companies. This book was released on 1992 with total page 680 pages. Available in PDF, EPUB and Kindle.
Author | : Larry Wos |
Publisher | : McGraw-Hill Companies |
Total Pages | : 680 |
Release | : 1992 |
ISBN-10 | : UCSD:31822018974931 |
ISBN-13 | : |
Rating | : 4/5 (31 Downloads) |
Book Synopsis Automated Reasoning by : Larry Wos
Book excerpt: 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.