The following pages link to (Q4816538):
Displaying 11 items.
- Automating the search for elegant proofs (Q1272613) (← links)
- The application of automated reasoning to questions in mathematics and logic (Q1354049) (← links)
- Autarkic computations in formal proofs (Q1610674) (← links)
- Searching for circles of pure proofs (Q1904397) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- (Q3409868) (← links)
- (Q3998281) (← links)
- (Q4332419) (← links)
- Automated natural deduction prover and experiments (Q4610323) (← links)
- (Q5186757) (← links)
- (Q5376325) (← links)