UNIFIER

Meaning of UNIFIER in English

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)

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

UNIFIER — noun see: unify
Толковый словарь английского языка - Merriam Webster
UNIFIER — ˈyünəˌfī(ə)r, -fīə noun ( -s ) : one that unifies
Webster's New International English Dictionary
UNIFIER — (n.) One who, or that which, unifies; as, a natural law is a unifier of phenomena.
Английский словарь Webster
UNIFIER — ( n. ) One who, or that which, unifies; as, a natural law is a unifier of phenomena.
Webster's Revised Unabridged English Dictionary
UNIFIER — n. uniting force, someone or something that unifies
Толковый словарь английского языка - Редакция bed
UNIFIER — see unify
Merriam-Webster's Collegiate English vocabulary
UNIFIER — noun one who, or that which, unifies; as, a natural law is a unifier of phenomena.
Webster English vocab
UNIFIER — Unifier circular ~ вчт. циклический унификатор most general ~ вчт. наиболее общий унификатор unifier вчт. унификатор
Большой Англо-Русский словарь
UNIFIER — сущ.объединитель (тот, кто или то, что объединяет) the liberator and unifier of Italy — освободитель и объединитель Италии
Англо-Русский словарь Tiger
UNIFIER — сущ. объединитель ( тот, кто или то, что объединяет ) the liberator and unifier of Italy — освободитель и объединитель …
Англо-Русский словарь по общей лексике
UNIFIER — сущ. объединитель (тот, кто или то, что объединяет) the liberator and unifier of Italy — освободитель и объединитель Италии
Англо-Русский словарь общей лексики
UNIFIER — Unifier circular ~ вчт. циклический унификатор most general ~ вчт. наиболее общий унификатор unifier вчт. унификатор
Новый большой Англо-Русский словарь
MOST GENERAL UNIFIER — < logic > If U is the most general unifier of a set of expressions then any other unifier, V, …
FOLDOC Computer English Dictionary
UNIFY — transitive verb (-fied; -fying) Etymology: Late Latin unificare, from Latin uni- + -ficare -fy Date: 1502 to make into a …
Толковый словарь английского языка - Merriam Webster
UNIFY — — unifier , n. /yooh"neuh fuy'/ , v.t., v.i., unified, unifying . to make or become a single unit; unite: …
Random House Webster's Unabridged English Dictionary
NARMER — /nahr"meuhr/ , n. a king of Egypt identified by modern scholars as the Menes of tradition and depicted as the …
Random House Webster's Unabridged English Dictionary
MENES — /mee"neez/ , n. fl. c3200 B.C., traditionally the unifier and 1st king of Egypt: founder of the 1st dynasty. Cf. …
Random House Webster's Unabridged English Dictionary
UNIFY — [ 'ju:nɪfʌɪ ] ■ verb ( unifies , ~ing , unified ) make or become united or uniform. Derivatives unifier …
Concise Oxford English vocab
NATIONALISM — loyalty and devotion to one's nation or country, such that national interests are placed above either individual or other group …
Britannica English vocabulary
SOUTH ASIAN ARTS — the literary, performing, and visual arts of India, Pakistan, Bangladesh, and Sri Lanka. Despite a history of ethnic, linguistic, and …
Britannica English vocabulary
SHIH HUANG-TI — born c. 259 BC, Ch'in, northwestern China died 210/209 Pinyin Shi Huangdi, personal name (hsing-ming) Chao Cheng emperor of the …
Britannica English vocabulary
JAPAN, FLAG OF — national flag consisting of a white field bearing a central red disk (a stylized sun). The flag has a width-to-length …
Britannica English vocabulary
CHINA 1 — also called Chicom 1, or PRC 1 first Earth satellite orbited by the People's Republic of China. It was launched …
Britannica English vocabulary
UNIFY — / ˈjuːnɪfaɪ; NAmE / verb ( uni·fies , uni·fy·ing , uni·fied , uni·fied ) [ vn ] to join people, …
Oxford Advanced Learner's English Dictionary
UNIFY — v.tr. (also absol.) (-ies, -ied) reduce to unity or uniformity. øunified field theory Physics a theory that seeks to explain …
Английский основной разговорный словарь
UNIFY — v.tr. (also absol.) (-ies, -ied) reduce to unity or uniformity. unified field theory Physics a theory that seeks to explain …
Concise Oxford English Dictionary
UNIFY — v.tr. (also absol.) (-ies, -ied) reduce to unity or uniformity. Phrases and idioms: unified field theory Physics a theory that …
Oxford English vocab
UNIFICATION — < programming > The generalisation of pattern matching that is the logic programming equivalent of instantiation in logic . When …
FOLDOC Computer English Dictionary
LOGIC — propositional logic quantifier paradox OR Charme first-order logic complete theory complete inference system complement sound temporal logic inference converse AND …
FOLDOC Computer English Dictionary

FOLDOC Computer English Dictionary

← UNIFICATION UNIFY→