Similar to DPLLアルゴリズム

Courant–Friedrichs–Lewy condition

K-d tree

K-means clustering

Mizar system

Analysis of algorithms

B-Method

Communicating sequential processes

0

1

2

3

4

5

6

7

8

9

F* (programming language)

Method of analytic tableaux

Anti-unification

First-order logic

Special case

Semantics

Universe (mathematics)

Herbrand's theorem

Type theory

Cut-elimination theorem