- Home
- Society
- Philanthropy
- Automated Reasoning
Society · Philanthropy
Automated Reasoning
Listed in the directory · updated 26 Sep 2022
About Automated Reasoning
Automated Reasoning- Survey of automated deduction and theorem proving; by Frederic Portoraro.