bn:03343012n
Noun Concept
Categories: 形式手法, 数学に関する記事, 論理プログラミング, ユニフィケーション, 自動定理証明
JA
ユニフィケーション  単一化
JA
ユニフィケーション(英: unification)は数理論理学や計算機科学の用語であり、充足性問題を解く際のアルゴリズム的プロセスである。 Wikipedia
English:
logic
term rewriting
computing
computer science
Definitions
Sources
JA
ユニフィケーション(英: unification)は数理論理学や計算機科学の用語であり、充足性問題を解く際のアルゴリズム的プロセスである。 Wikipedia
Wikipedia Redirections