The area of logic and artificial intelligence concerned with automating logical inference, implementing theorem provers, and the foundations of logic programming.

Related categories 1

Automated Reasoning
Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.
[Mozilla Einstein]
Last update:
January 2, 2007 at 17:54:52 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional