Essentials of artificial intelligence - Ginsherg, Matthew L (Morgan Kaufmann Pub., 1993)
Includes index.