Similar to 自己認識論理
論理プログラミング
Logic programming
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
DPLLアルゴリズム
DPLL algorithm
Guarded Command Language
Guarded Command Language
ユニフィケーション
Unification (computer science)
Smn定理
Smn theorem
アルゴリズム
Algorithm▼-1 trends
ギルモアのアルゴリズム
形式体系
Formal system
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus
時相論理
Temporal logic
自動推論
Automated reasoning
節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)
不動点コンビネータ
Fixed-point combinator
Μ再帰関数
General recursive functionラムダ計算
Lambda calculus
Mizar
Mizar system
0
0
1
1▼-7 trends
2
2
3
3