Handbook.of.Practical.Logic.and.Automated.Reasoning,.Harrison,.CUP,.2009.pdf下载

Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence it also has connections with theoretical computer science and even philosophy.