Pages that link to "Item:Q911807"
From MaRDI portal
The following pages link to Meeting the challenge of fifty years of logic (Q911807):
Displaying 9 items.
- The problem of selecting an approach based on prior success (Q1311414) (← links)
- The application of automated reasoning to questions in mathematics and logic (Q1354049) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- Searching for circles of pure proofs (Q1904397) (← links)
- Using hints to increase the effectiveness of an automated reasoning program: Case studies (Q1923820) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- Experiments in the heuristic use of past proof experience (Q4647545) (← links)
- Problems on the generation of finite models (Q5210810) (← links)
- CODE: A powerful prover for problems of condensed detachment (Q5234708) (← links)
