Similar to ラムダ計算
CAE
Computer-aided engineering
Cascading Style Sheets
CSS
COBOL
COBOL
13
13 (number)
19
19 (number)
40
40 (number)70
70 (number)1349
1349 (band)
アルゴリズム
Algorithm▼-1 trends
形式手法
Formal methods
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar system
モデル検査
Model checking
論理プログラミング
Logic programming
デアリング級駆逐艦
Daring-class destroyer (1949)
10月政変
1993 Russian constitutional crisis
12ステップのプログラム
Twelve-step program
1940年代
1940s
1951年
1951
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
形式体系
Formal system構成規則
Formation rule
4次元多様体
4-manifold
Axiom (数式処理システム)
Axiom (computer algebra system)L'Intermédiaire des mathématiciens
L'Intermédiaire des mathématiciens
