The computer modelling of mathematical reasoning

Automatic theorem provingData processingLogic, Symbolic and mathematicalMathematicsSymbolic and mathematical LogicArtificial intelligence

For young readers