Publication | Closed Access
The concept of proof in the light of mathematical work
18
Citations
14
References
2016
Year
Automated ReasoningProof AssistantEpistemologyFormal Mathematical ReasoningProof TheoryMathematical ProofMathematical WorkProof System
| Year | Citations | |
|---|---|---|
Page 1
Page 1