語言選擇:
免費網上英漢字典|3Dict

Unifier

資料來源 : pyDict

合一,合一者

資料來源 : Webster's Revised Unabridged Dictionary (1913)

Unifier \U"ni*fi`er\, n.
   One who, or that which, unifies; as, a natural law is a
   unifier of phenomena.

資料來源 : Free On-Line Dictionary of Computing

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)
依字母排序 : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z