Similar to 項書き換え
述語論理
Predicate logic
数学基礎論
Foundations of mathematics
文字列書き換え系
Semi-Thue system
Smn定理
Smn theorem
アルゴリズム
Algorithm▼-2 trends
ギルモアのアルゴリズム
シークエント計算
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▼-1 trends
論理式 (数学)
Logical formula
論理プログラミング
Logic programming
2の12乗根
Twelfth root of two
Ba空間
Ba space
Calculus on Manifolds (書籍)
Calculus on Manifolds (book)
D-加群
D-module
ESPACE
ESPACEGrundzüge der Mengenlehre
Grundzüge der Mengenlehre
Gδ集合
Gδ set
L-system
L-system
Mathematica
Wolfram Mathematica