Automated Reasoning: Introduction and Applications
McGraw-Hill Inc.,US (Publisher)
2nd Edition
Published on 1. March 1992
Book
Mixed media product
656 pages
978-0-07-911251-4 (ISBN)
Description
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.
More details
Edition
2nd Revised edition
Language
English
Place of publication
New York
United States
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Professional and scholarly
Edition type
Revised edition
Illustrations
50 illustrations
Dimensions
Height: 230 mm
Width: 188 mm
ISBN-13
978-0-07-911251-4 (9780079112514)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification