Automated reasoning system

Conference · Thu Jan 01 00:00:00 EST 1981

OSTI ID:6336057

Wos, L; Winker, S K; Lusk, E L

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.

• Research Organization: Argonne National Lab., IL (USA); Northern Illinois Univ., Dekalb (USA)
• DOE Contract Number: W-31-109-ENG-38
• OSTI ID: 6336057
• Report Number(s): CONF-810501-4; ON: DE83009492
• Resource Relation: Conference: National computer conference, Chicago, IL, USA, 4 May 1981
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
DECISION MAKING
AUTOMATION
COMPUTER-AIDED DESIGN
DATA PROCESSING
LEARNING
PROGRAMMING
USES
PROCESSING
990200* - Mathematics & Computers