Automated Reasoning



All Links

Share this:

Details of Automated Reasoning

About Automated Reasoning
Automated Reasoning- Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.