Stunning.com Directory - Automated Reasoning

Home / Science / Math / Logic and Foundations / Computational Logic / Automated Reasoning

See Also

Web Sites

Automated Reasoning - Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
plato.stanford.edu/entries/reasoning-automated