Skip to content
|
Access key help
Search
Advanced search
A–Z
Contact us
Computer Laboratory
Computer Laboratory
Library
Resource lists
Atrificial intelligence
Library guides
Catalogues
Electronic resources
Local services
Technical Reports
Resource lists
Integrated circuits
Microprocessor architectures
Computer networks
Programming languages
Virtual machines
Encryption algorithms
Coding & Information theory
Algorithms
Mathematical Logic
Information Retrieval
Atrificial intelligence
Document Markup
Reprographics equipment
Accessions list
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.
© 2010 Computer Laboratory, University of Cambridge
Information provided by
Nicholas Cutler
