翻訳と辞書
Words near each other
・ nanobot
・ nanocomputer
・ nanofortnight
・ nanometre
・ nanosecond
・ nanotechnology
・ napier
・ naplps
・ napss
・ narrowband
narrowing
・ nas
・ nasal demons
・ nasi
・ nastistical
・ nastran
・ nastygram
・ nat
・ nathan hale
・ national advanced systems


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

narrowing : FOLDOC
narrowing
Unification followed by {unfolding}. The left-hand side of a {rule} is unified with some term, resulting in a set of variable bindings. The term is then replaced by the right-hand side of the rule with values substituted for {bound variables}.



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.