AURA
From MaRDI portal
Software:19078
swMATH7015MaRDI QIDQ19078FDOQ19078
Author name not available (Why is that?)
Cited In (10)
- Larry Wos: visions of automated reasoning
- Automated reasoning about elementary point-set topology
- Uniform strategies: The CADE-11 theorem proving contest
- A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
- Basic research problems: The problem of strategy and hyperresolution
- Meeting the challenge of fifty years of logic
- The linked inference principle. I: The formal treatment
- 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
This page was built for software: AURA
