Similar to DPLLアルゴリズム
Axiom (数式処理システム)
Axiom (computer algebra system)
Kd木
K-d tree
K平均法
K-means clustering
Mizar
Mizar system
アルゴリズム解析
Analysis of algorithms/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
0
0
1
1▲7 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
F* (プログラミング言語)
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
関係 (数学)
Finitary relation