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


  
Twitter