Similar to 表示的意味論
CASBEE
CASBEE
CASL
CDix
CHOP療法
CHOP (chemotherapy)
Common Object Request Broker Architecture
Common Object Request Broker Architecture
CPU
Central processing unit▼-1 trends
DAKOKU
ダグラス DC-4E
Douglas DC-4E
ダグラス DC-7
Douglas DC-7
0
0▲1 trends
1
1▼-1 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
Guarded Horn Clauses
Prolog
Prolog
後者関数
Successor function
順序回路
Sequential logic
線形論理
Linear logic
直観主義型理論
Intuitionistic type theory
反ユニフィケーション
Anti-unification
汎用ロジックIC
Logic family