Title: The computer modelling of mathematical reasoning
First published: 1983
Subjects: Automatic theorem proving, Data processing, Logic, Symbolic and mathematical, Mathematics, Symbolic and mathematical Logic, Artificial intelligence
LC classification: QA76.95 .B86 1983