Covering both algorithmic and programming methods, this example-based text explains the theoretical concepts underlying artificial intelligence. Mathematical theorem-proving methods and their applications are examined in detail as well as more complex aspects such as expert systems and programming languages like LISP and PROLOG. This book should be of interest to undergraduate students taking courses in artificial intelligence.
- ISBN10 1850912572
- ISBN13 9781850912576
- Publish Date 30 June 1987
- Publish Status Out of Print
- Out of Print 14 May 1999
- Publish Country GB
- Imprint Kogan Page Ltd
- Format Hardcover
- Pages 146
- Language English