Math: Logic and Foundations: Computational Logic: Automated Reasoning

the entire directory   only this category Advanced Search
	Home: Math: Logic and Foundations: Computational Logic: Automated Reasoning LINKS: 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.

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