Home > Science > Math > Logic and Foundations > Computational Logic > Automated Reasoning
The area of logic and artificial intelligence concerned with automating logical inference, implementing theorem provers, and the foundations of logic programming.
http://plato.stanford.edu/entries/reasoning-automated/
Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
Home > Science > Math > Logic and Foundations > Computational Logic > Automated Reasoning
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us