Computers: The Science of Deduction.

Schechter, Bruce

Notes FAQ Contact Us

Back to results

ERIC Number: EJ258381

Record Type: Journal

Publication Date: 1982-Jan

Pages: N/A

Abstractor: N/A

ISBN: N/A

ISSN: N/A

EISSN: N/A

Available Date: N/A

Computers: The Science of Deduction.

Schechter, Bruce

Discover, v3 n1 p26-28 Jan 1982

Describes the Automated Reasoning Assistant (AURA) computer program at the Argonne National Laboratory. Given a set of initial assumptions (axioms) and a problem, AURA follows a logical path leading to a solution. Includes types of problems which can be solved. (JN)

Descriptors: College Science, Computer Oriented Programs, Computer Programs, Computer Science, Engineering Education, Higher Education, Mathematics Education, Science Education

Publication Type: Journal Articles; Opinion Papers; Reports - Descriptive

Education Level: N/A

Audience: N/A

Language: English

Sponsor: N/A

Authoring Institution: N/A

Grant or Contract Numbers: N/A

Author Affiliations: N/A