AtomSeek the directory or science  

Math: Logic and Foundations: Computational Logic: Automated Reasoning: Automated Reasoning


  Home: Math: Logic and Foundations: Computational Logic: Automated Reasoning:
Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Computational Logic: Automated Reasoning: Automated Reasoning


URL: http://plato.stanford.edu/entries/reasoning-automated/

 

Description: Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.


Detailed Traffic Statistic From Alexa
Detailed Traffic Statistic From Alexa

 
    

  HOME | ADD A LINK | MODIFY A LINK | LOGIN


Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people


atomseek.com
Webmaster - miroweb.com