Automated Reasoning

This article describe about Automated Reasoning, which is the art and science of getting computers to apply logical reasoning to solve problems in computer programs. Automated Reasoning can also be thought of as a branch of the enterprise “computerizing mathematics”. That is a larger enterprise, in that there is more to mathematics than proving theorems. It is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy.