翻訳と辞書
Words near each other
・ unfold/fold
・ uni
・ unicast
・ unicode
・ unicomal
・ unicos
・ uniface
・ unification
・ unified han
・ unified modeling language
unifier
・ uniform
・ uniform naming convention
・ uniform resource citation
・ uniform resource locater
・ uniform resource locator
・ uniform resource name
・ uniform resource number
・ unify
・ unify corporation


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

unifier : FOLDOC
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.