Accession Number:

AD0760000

Title:

A Decision Procedure for the First Order Theory of Real Addition with Order

Descriptive Note:

Technical memo.

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE PROJECT MAC

Personal Author(s):

• Ferrante, Jeanne
• Rackoff, Charles

Report Date:

1973-05-01

Pagination or Media Count:

22.0

Abstract:

Descriptors:

• *MATHEMATICAL LOGIC
• ALGORITHMS
• ARTIFICIAL INTELLIGENCE
• DECISION MAKING
• NUMBER THEORY
• THEOREMS

Subject Categories:

• Theoretical Mathematics
• Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE