An automated reasoning system

Authors:
L. Wos;S. K. Winker;E. L. Lusk
Affiliations:
Argonne National Laboratory, Argonne, Illinois;Argonne National Laboratory, Argonne, Illinois;Northern Illinois University, DeKalb, Illinois
Venue:
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Year:
1981

Citing 4
Cited 0

Introduction to Mathematical Theory of Computation

Introduction to Mathematical Theory of Computation
Data Structures and Control Architectures for Implementation of Theorem-Proving Programs

Proceedings of the 5th Conference on Automated Deduction
Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra

MVL '78 Proceedings of the eighth international symposium on Multiple-valued logic
Problems and Experiments for and with Automated Theorem-Proving Programs

IEEE Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is an introduction to an automated reasoning program developed at Northern Illinois University and Argonne National Laboratory over the past nine years. Recently the program has reached the stage where it can be considered a useful research tool in a variety of disciplines. It has solved open problems in mathematics and participated in the design of new electronic circuits. Here we describe the general types of capabilities provided to the user by the program and give examples of how they are currently being used in diverse areas of investigation.