文件名称：Handbook.of.Practical.Logic.and.Automated.Reasoning,.Harrison,.CUP,.2009.pdf
文件大小：2.87MB
文件格式：PDF
更新时间：2015-02-16 15:33:04
Automated.Reasoning
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.