Category:Logical calculi

From Wikipedia, the free encyclopedia

You have new messages (last change).

This category contains calculi and closely related methods for the manipulation of formal logical formulae and values.

Pages in category "Logical calculi"

There are 7 pages in this section of this category.

C

Chaff algorithm

D

DPLL algorithm

D cont.

Davis-Putnam algorithm

M

R

Resolution (logic)

S

Superposition calculus

Retrieved from "http://en.wikipedia.org../../../l/o/g/Category%7ELogical_calculi_217e.html"

Category: Logic in computer science

Views

Search

In other languages

Esperanto