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...