Automated Reasoning

Details of Automated Reasoning

Automated Reasoning- Survey of automated deduction and theorem proving; by Frederic Portoraro.

Stanford Encyclopedia of Philosophy