Automated reasoning: introduction and applications

Front Cover
Prentice-Hall, 1984 - Computers - 482 pages
0 Reviews
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

LEARNING LOGIC BY EXAMPLE
12
ALTERNATIVE REPRESENTATION AND EQUALITY
84
HARDER PUZZLES
117
Copyright

7 other sections not shown

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information