Automated Reasoning: Introduction and Applications/Book & Disk

Wos, Larry

ISBN 10: 007911251X / ISBN 13: 9780079112514

Verlag: McGraw-Hill, 1992

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! Bestandsnummer des Verkäufers S_379575447

Inhaltsangabe:

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.

Reseña del editor: 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.

Bibliografische Details

Titel: Automated Reasoning: Introduction and ...
Verlag: McGraw-Hill
Erscheinungsdatum: 1992
Einband: hardcover
Zustand: Good