Similar to 項書き換え
アルゴリズム
Algorithmギルモアのアルゴリズム
シークエント計算
Sequent calculus自己認識論理
Autoepistemic logic時相論理
Temporal logic自動推論
Automated reasoning制約論理プログラミング
Constraint logic programming節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm導出原理
Resolution (logic)並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programmingラムダ計算
Lambda calculus論理式 (数学)
Logical formula論理プログラミング
Logic programming2の12乗根
Twelfth root of twoBa空間
Ba spaceCalculus on Manifolds (書籍)
Calculus on Manifolds (book)CR多様体
CR manifoldD-加群
D-moduleESPACE
ESPACEGrundzüge der Mengenlehre
Grundzüge der MengenlehreGδ集合
Gδ setKdV方程式
Korteweg–De Vries equationL-system
L-systemウラジーミル・アーノルド
Vladimir Arnoldニールス・アーベル
Niels Henrik Abelアーリヤバタ
Aryabhata