Title:
Automated reasoning : introduction and applications
Publication Information:
Englewood Cliffs, N.J. : Prentice-Hall, 1984
ISBN:
9780130544469
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
|---|---|---|---|---|---|
Searching... | 30000000530570 | QA76.9.A96 A98 1984 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
Explains How a Computer Can Be Programmed to Reason. Discusses the Application of Automated Reasoning to Designing Logic Circuits & Proving Properties of Other Computer Programs.
