Similar to ループ不変条件
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculus
論理プログラミング
Logic programmingセーフティクリティカルシステム
Safety-critical system
Template:Computer-stub
Template:Compu-stub
11インチiPad Pro (第1世代)
11インチiPad Pro (第2世代)
11インチiPad Pro (第3世代)
12.9インチiPad Pro (第1世代)
IPad Pro (1st generation)12.9インチiPad Pro (第2世代)
IPad Pro (2nd generation)12.9インチiPad Pro (第3世代)
IPad Pro (3rd generation)
12.9インチiPad Pro (第4世代)
IPad Pro (4th generation)
12.9インチiPad Pro (第5世代)
IPad Pro (5th generation)
2-3-4木
2–3–4 tree
2-3木
2–3 tree
3Dアトリエ
3D-Coat
3D-Coat3DMark
3DMark3DO M2
Panasonic M2
3Dライブラリ
3次元映像
Stereoscopy
4-Gigabyte Tuning
4ビット
4-bit computing501LV