Similar to 表示的意味論
8
8▲1 trends
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
計算モデル
Model of computationCommunicating Sequential Processes
Communicating sequential processesFRACTRAN
FRACTRANOISC
One-instruction set computer
アクターモデル
Actor model
オートマトン
Automata theoryオペランドスタック
可逆計算
Reversible computing
拡張階層化状態遷移表
確率的チューリング機械
Probabilistic Turing machine
決定性有限オートマトン
Deterministic finite automaton
交替性チューリング機械
Alternating Turing machine
自動微分
Automatic differentiation