Automated Reasoning Computational Logic Logic and Foundations Math
The area of logic and artificial intelligence concerned with automating logical inference, implementing theorem provers, and the foundations of logic programming.
Top: Science: Math: Logic and Foundations: Computational Logic
Automated Reasoning
See Also:
- Automated Reasoning - Survey of automated deduction and theorem proving; from computational logic the computational logic Stanford Encyclopedia of Philosophy by Frederic Portoraro.
MySQL - Cache Direct
![Follow IAS Directory on Twitter Twitter](/images/50x50xtwitter-icon.png.pagespeed.ic.hqBofe3Scj.png)