Computer Laboratory

Library

Artificial intelligence

Computer modelling of mathematical reasoning
The full text of the now out of print book by Alan Bundy. The files are in PostScript format so you will need suitable software installed to read it.