Concepedia
Publication | Closed Access
Arithmetic Facts without Meaning
191
Citations
42
References
1997
Year
Automated ReasoningFoundation Of MathematicsMathematical ProofNumeracySemanticsArithmetic Facts
Page 1