The computer modelling of mathematical reasoning

The computer modelling of mathematical reasoning1983
Details
- First published
- 1983
- OL Work ID
- OL3340779W
Subjects
Automatic theorem provingData processingLogic, Symbolic and mathematicalMathematicsSymbolic and mathematical LogicArtificial intelligence