Items related to Introduction and Applications (Automated Reasoning)
Synopsis
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.
- PublisherMcGraw-Hill Inc.,US
- Publication date1992
- ISBN 10 007911251X
- ISBN 13 9780079112514
- BindingHardcover
- LanguageEnglish
- Edition number2
- Number of pages656
Search results for Introduction and Applications (Automated Reasoning)
Stock Image
Automated Reasoning: Introduction and Applications
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.65. Seller Inventory # G007911251XI3N00
Quantity: 1 available
Stock Image
Automated Reasoning: Introduction and Applications/Book & Disk
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_379575447
Quantity: 1 available
Stock Image
Automated Reasoning: Introduction & Applications, 2nd Edition
Seller: BookDepart, Shepherdstown, WV, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: UsedVeryGood. Hardcover, 2nd edition, with sealed software; light fading, scuffing to exterior; small tear at top end of spine; in very good condition with clean text, firm binding. No dust jacket. Seller Inventory # 37450
Quantity: 1 available
Stock Image
Automated Reasoning: Introduction and Applications/Book & Disk
Seller: PAPER CAVALIER UK, London, United Kingdom
Seller rating 5 out of 5 stars
Condition: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block. Seller Inventory # 9780079112514-3
Quantity: 1 available
Stock Image
Automated Reasoning: Introduction and Applications/Book & Disk
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Good. Good. book. Seller Inventory # D7S9-1-M-007911251X-3
Quantity: 1 available