unifier The unifier of a set of expressions is a set of substitutions of terms for variables such that the expressions are all equal. See also most general unifier, unification. (1994-12-06)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.