Directory Help
Search only in Automated Reasoning
Search the Web
Automated Reasoning
Science
>
Math
>
Logic and Foundations
>
Computational Logic
> Automated Reasoning
Go to Directory Home
Web Pages
View in Google PageRank order
Viewing in alphabetical order
Automated Reasoning
-
http://plato.stanford.edu/entries/reasoning-automated/
Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor
Modified by Google - ©2009 Google
Advertise with Us
-
Jobs, Press, Cool Stuff...