The computer modelling of mathematical reasoning

Name: The computer modelling of mathematical reasoning
Author: Alan Bundy

by Alan Bundy · 1983

No description available.

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