Publication | Open Access
A calculational approach to mathematical induction
53
Citations
12
References
1997
Year
Mathematics EducationMathematical InductionAutomated ReasoningEducationMathematical ProofDiscrete MathematicsInductive ReasoningInductive Inference
| Year | Citations | |
|---|---|---|
Page 1
Page 1