The computer modelling of mathematical reasoning - Bundy, Alan (London Academic Press, 1983)
1
Keywords: Mathematics -- Data processing; Logic, Symbolic and mathematical; Automatic theorem proving