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