TY  - BOOK
AU  - Bundy Alan
TI  - Computer modelling of mathematical reasoning
U1  - D65,8(B):(S:72), M3 
PY  - 1983///
CY  - London
PB  - Academic Press        
KW  - Artificial intelligence
ER  -