Directory

Directory Help Search only in Automated ReasoningSearch the Web

Automated Reasoning

Science > Math > Logic and Foundations > Computational Logic > Automated Reasoning

Go to Directory Home

Related Category:
    Science > Math > Logic and Foundations > Proof Theory  (16)

Web Pages

Viewing in Google PageRank order               View 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 - ©2008 Google
Advertise with Us - Jobs, Press, Cool Stuff...