swMATH7015MaRDI QIDQ19078FDOQ19078
Author name not available (Why is that?)
Official website: http://www.osti.gov/energycitations/product.biblio.jsp?osti_id=5152391
Cited In (11)
- Larry Wos: visions of automated reasoning
- Automated reasoning about elementary point-set topology
- Uniform strategies: The CADE-11 theorem proving contest
- SbReve2
- 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
