Automated Reasoning: Thirty-Three Basic Research Problems

Front Cover
Prentice Hall PTR, 1988 - Computers - 319 pages
0 Reviews
Discusses ways to contribute to the field of automated reasoning by solvving the proposed research problems and exploring new technologies such as parallel processing and logic programming

From inside the book

What people are saying - Write a review

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

Contents

AN OVERVIEW OF SOME OBSTACLES TO
13
THE LIST OF BASIC RESEARCH PROBLEMS
51
REVIEW OF AUTOMATED REASONING
65
Copyright

6 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

Bibliographic information