HOL

Русско-английский перевод HOL

High Order Logic

Русско-английский электронный словарь Edic. Russian-English dictionary Edic. 2012

HOL — hol- adj [occurring in derivatives and compounds] hol-, holo- (= whole, entire)
Interlingua English vocab
HOL- — or holo- combining form see: safe complete ; total , completely ; totally
Толковый словарь английского языка - Merriam Webster
HOL — I. ˈhäl noun ( -s ) Etymology: by shortening Britain : holiday II. abbreviation hollow
Webster's New International English Dictionary
HOL- — combining form or holo- Etymology: Middle English holo-, from Old French, from Latin hol-, holo-, from Greek, from holos — …
Webster's New International English Dictionary
HOL — (a.) Whole.
Английский словарь Webster
HOL — ( a. ) Whole.
Webster's Revised Unabridged English Dictionary
HOL- — var. of holo- before a vowel: holiatry.
Random House Webster's Unabridged English Dictionary
HOL- — or holo- Etymology: Greek, from holos whole — more at safe 1. : complete : total holo hedral 2. : …
Merriam-Webster's Collegiate English vocabulary
HOL — adj whole.
Webster English vocab
HOL- — [hol-] or holo- comb form [ME, fr. OF, fr. L, fr. Gk, fr. holos whole--more at safe] 1: complete: total …
Merriam-Webster English vocab
HOL — d-up [noun] [C]In the hold-up at the bank a masked youth threatened staff with a gun.See also hold-up at hold …
Cambridge English vocab
HOL — Higher Order Logic. A proof-generating system for higher order logic based on LCF . Implementations include HOL-88 and HOL-90 . …
FOLDOC Computer English Dictionary
HOL — High Order Language
Computer Acronyms English vocab
HOL — [hologram] голограмма (разговорное) праздники, каникулы (особ. школьные)
Большой Англо-Русский словарь
HOL — сокр. [higher-order language] высокоорганизованный алгоритмический язык
Большой Англо-Русский словарь
HOL — Дыра
Американский Англо-Русский словарь
HOL — Дыра
Американский Англо-Русский словарь
HOL — = hols
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
HOL — сокр. от hologram голограмма
Большой Англо-Русский политехнический словарь
HOL — сокр. от higher-order language высокоорганизованный алгоритмический язык
Большой Англо-Русский политехнический словарь
HOL — сокр. от hologram голограмма
Большой Англо-Русский политехнический словарь - РУССО
HOL — сокр. от higher-order language высокоорганизованный алгоритмический язык
Большой Англо-Русский политехнический словарь - РУССО
HOL — (n) каникулы; праздники
English-Russian Lingvistica'98 dictionary
HOL — = ~s
Новый большой Англо-Русский словарь - Апресян, Медникова
HOL — = hols
Большой новый Англо-Русский словарь
HOL — сокр. от hologram голограмма
Англо-Русский словарь по компьютерам
HOL — сокр. от hologram голограмма
Англо-Русский словарь по вычислительной технике и программированию
HOL — hologram голограмма
Англо-Русский словарь компьютерных терминов
HOL — [hologram] голограмма (разговорное) праздники, каникулы (особ. школьные)
Новый большой Англо-Русский словарь
HOL — сокр. [higher-order language] высокоорганизованный алгоритмический язык
Новый большой Англо-Русский словарь
HOL — Variant: or holo- Function: combining form Etymology: Greek, from holos whole ― more at SAFE 1 : complete : total …
Merriam Webster Collegiate English Dictionary

Russian-English Edic

← HOG HOLAP→