Home    |Web Directory    |Metasearch    |Message Boards    |Classified Ads|

Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads

Top: Science: Math: Logic_and_Foundations: Computational_Logic: Automated_Reasoning:

Automated Reasoning (1)

See Also:
Sites:

http://plato.stanford.edu/entries/reasoning-automated/
» Automated Reasoning Open in a new browser window
   Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
   http://plato.stanford.edu/entries/reasoning-automated/

This category needs an editor

Last Updated: 2007-01-02 17:54:52




Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com

Free previews by Thumbshots.org