The following pages link to (Q3352532):
Displaying 6 items.
- A systematic methodology for automated theorem finding (Q744079) (← links)
- Generalized subsumption and its applications to induction and redundancy (Q1110345) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- The Discovery of My Completeness Proofs (Q4897039) (← links)
- Visualising Reasoning: What ATP Can Learn From CP (Q5170236) (← links)
- Some Comments on Multiple Discovery in Mathematics (Q6081182) (← links)