Math: Logic and Foundations: Computational Logic: Automated Reasoning

the entire directory only this category

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.

HOME | ADD A LINK | MODIFY A LINK | LOGIN

UFO Seek Forum is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.