The following pages link to AURA (Q19078):
Displayed 10 items.
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (Q759491) (← links)
- Meeting the challenge of fifty years of logic (Q911807) (← links)
- Automated reasoning about elementary point-set topology (Q1122363) (← links)
- The linked inference principle. I: The formal treatment (Q1189727) (← links)
- Uniform strategies: The CADE-11 theorem proving contest (Q1319384) (← links)
- Basic research problems: The problem of strategy and hyperresolution (Q1332645) (← links)
- The application of automated reasoning to questions in mathematics and logic (Q1354049) (← links)
- An overview of automated reasoning and related fields (Q1819948) (← links)
- Using hints to increase the effectiveness of an automated reasoning program: Case studies (Q1923820) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)