The area of logic and artificial intelligence concerned with automating logical inference, implementing theorem provers, and the foundations of logic programming.
More information
More information
Related categories 1
Sites 1
Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
