Similar to 表示的意味論
CHOP療法
CHOP (chemotherapy)
Common Object Request Broker Architecture
Common Object Request Broker Architecture
CPU
Central processing unit
ダグラス DC-4E
Douglas DC-4E
ダグラス DC-7
Douglas DC-7
0
0
1
1
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
ホーア論理
Hoare logic
前向き連鎖
Forward chainingユニフィケーション
Unification (computer science)
論理回路
Logic gate