The computer modelling of mathematical reasoning
By: Alan Bundy.
Publisher: Academic Press
Published: 1983
Place of publication: London; New York
Language: eng
Number of pages: 322
Subjects: Mathematics -- Data processing.; Logic, Symbolic and mathematical.; Automatic theorem proving.
Notes: Bibliography: p. 312-317.
Includes index.