The following pages link to (Q4530470):
Displaying 9 items.
- Proofs and guarantees (Q1702532) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- The calculus of natural calculation (Q2062198) (← links)
- Direct proofs of Lindenbaum conditionals (Q2254568) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- Aspects of Mathematical Explanation: Symmetry, Unity, and Salience (Q3460428) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672) (← links)