Automated Reasoning: Introduction and Applications/Book & Disk

5 avg rating
( 2 ratings by GoodReads )
 
9780079112514: Automated Reasoning: Introduction and Applications/Book & Disk

This book 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. A diskette containing the automated reasoning program "Otter" is included. It is available for the first time to PCs and workstations. The book has input files, commentary, examples in "Otter" notation and a user's manual that enables readers to experiment with the material presented as well as with ideas of their own. Other features include: various challenge problems that allow readers to test, compare and evaluate new ideas and techniques; techniques for answering open questions and finding shorter proofs; methods for finding such proofs; examples and puzzles to aid in the understanding of parallel versions of an automated reasoning program; and problems.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Wos, Larry
Published by Mcgraw-Hill (Tx) (1992)
ISBN 10: 007911251X ISBN 13: 9780079112514
New Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Mcgraw-Hill (Tx), 1992. Hardcover. Book Condition: New. 2 Har/Dis. Bookseller Inventory # DADAX007911251X

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 60.25
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

Wos, Larry
Published by Mcgraw-Hill (Tx)
ISBN 10: 007911251X ISBN 13: 9780079112514
New Hardcover Quantity Available: 1
Seller
Cloud 9 Books
(West Palm Beach, FL, U.S.A.)
Rating
[?]

Book Description Mcgraw-Hill (Tx). Hardcover. Book Condition: New. 007911251X New Condition. Bookseller Inventory # NEW6.0928205

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 59.99
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds