Automated reasoning - is an area of computer science dedicated
to understanding different aspects of reasoning in a way that allows the creation
of software which allows computers to reason completely or nearly completely, automatically