Computational Logic Logic and Foundations Math
Computational logic consists of those approaches to general logic intheorem proving.
Top: Science: Math: Logic and Foundations
Computational Logic
Editor's Picks:
CiteSeer Index: Computer Science: Theory: Logic
![*](/images/star.gif.pagespeed.ce.oeJ7McxJUc.gif)
MySQL - Cache Direct
![Follow IAS Directory on Twitter Twitter](/images/50x50xtwitter-icon.png.pagespeed.ic.hqBofe3Scj.png)