Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Science
:
Math
:
Logic_and_Foundations
:
Computational_Logic
:
Automated_Reasoning
:
Automated Reasoning
Link Details for:
Automated Reasoning
Link Title:
Automated Reasoning
Link URL:
http://plato.stanford.edu/entries/reasoning-automated/
Link Details:
Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
Category:
Top : Science : Math : Logic_and_Foundations : Computational_Logic : Automated_Reasoning
Link Type:
ScreenShot: