An introduction to the logical and algorithmic concepts of artificial intelligence, discussing automated reasoning, the use of propositional and predicated logic, proof strategies, writing programs,... This description may be from another edition of this product.