Bundy, Alan. <br/><br/>
The computer modelling of mathematical reasoning / 
Alan Bundy. 
 - London ;  New York :  Academic Press,  1983. 
 - xiv, 322 p. :  ill. ;  24 cm. 
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 312-317. 
<br/><br/><label>ISBN: </label>0121412504 (cased) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Mathematics--Data processing.