Pages that link to "Item:Q5027672"
From MaRDI portal
The following pages link to PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672):
Displaying 6 items.
- Proof planning with multiple strategies (Q2389631) (← links)
- Reliability of mathematical inference (Q2695405) (← links)
- A Computational Framework For Understanding Mathematical Discoursexy (Q4454094) (← links)
- (Q4530469) (← links)
- (Q4707764) (← links)
- A science of reasoning: Extended abstract (Q6488565) (← links)