Artificial Intelligence - Nils J Nilsson (Harcourt Asia/Morgan Kaufmann Delhi, 2000)