AURA
From MaRDI portal
Cited in
(11)- Automated reasoning about elementary point-set topology
- The linked inference principle. I: The formal treatment
- Uniform strategies: The CADE-11 theorem proving contest
- Basic research problems: The problem of strategy and hyperresolution
- The application of automated reasoning to questions in mathematics and logic
- An overview of automated reasoning and related fields
- Using hints to increase the effectiveness of an automated reasoning program: Case studies
- Larry Wos: visions of automated reasoning
- SbReve2
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
- Meeting the challenge of fifty years of logic
This page was built for software: AURA
