Similar to 自己認識論理
論理プログラミング
Logic programming制約論理プログラミング
Constraint logic programming並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programmingDPLLアルゴリズム
DPLL algorithmGuarded Command Language
Guarded Command Languageユニフィケーション
Unification (computer science)Smn定理
Smn theoremアルゴリズム
Algorithmギルモアのアルゴリズム
形式体系
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▲1 trendsMizar
Mizar system0
01
1▼-1 trends2
23
3