Category:Automated theorem proving

From Wikipedia, the free encyclopedia

You have new messages (last change).

The main article for this category is Automated theorem proving.

Subcategories

There is one subcategory to this category shown below (more may be shown on subsequent pages).

T

Theorem provers

Pages in category "Automated theorem proving"

There are 6 pages in this section of this category.

A

Automated theorem proving

C

Chaff algorithm

D

M

Method of analytic tableaux

R

Resolution (logic)

Retrieved from "http://en.wikipedia.org../../../a/u/t/Category%7EAutomated_theorem_proving_0a30.html"

Category: Mathematical logic

Views

Search