HOL-88

Meaning of HOL-88 in English

An implementation of HOL built on ML by Mike Gordon mjcg@cl.cam.ac.uk .

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 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 — High Order Logic
Russian-English Edic
HOL — сокр. от hologram голограмма
Англо-Русский словарь по вычислительной технике и программированию
HOL — hologram голограмма
Англо-Русский словарь компьютерных терминов
HOL — [hologram] голограмма (разговорное) праздники, каникулы (особ. школьные)
Новый большой Англо-Русский словарь
HOL — сокр. [higher-order language] высокоорганизованный алгоритмический язык
Новый большой Англо-Русский словарь
GERMAN 88 — versatile 88-millimetre (3.46-inch) multirole artillery piece, developed from 1917 by Germany. It was tested in the Spanish Civil War and …
Britannica English vocabulary
LOGLAN-88 — < language > An object-oriented language from the Institute of Informatics at Warsaw University . Loglan-88 is apparently unrelated to …
FOLDOC Computer English Dictionary
CONVENTION (NO. 88) CONCERNING THE ORGANIZATION OF THE EMPLOYMENT SERVICE — эк. тр. эк. тр., юр. конвенция "Об организации службы занятости" № 88, 1948 г.*(конвенция Международной организации труда; обязала государства создавать бесплатные …
Новый англо-русский толковый словарь по менеджменту и экономике труда
WILLIAM I — I. biographical name 1533-1584 the Silent prince of Orange & founder of the Dutch Republic, II. biographical name 1797-1888 Wilhelm …
Толковый словарь английского языка - Merriam Webster
WILLIAM I — I Dutch Willem Frederik born Aug. 24, 1772, The Hague, United Provinces of the Netherlands died Dec. 12, 1843, Berlin, …
Английский словарь Британика
PTOLEMY III–XV — (r. 246–30 BC) Macedonian kings of the Ptolemaic dynasty in Egypt. Ptolemy III Euergetes ("Benefactor") (fl. 246–221) defeated the ruler …
Английский словарь Британика
EIGHTY-EIGHTH — I. | ̷ ̷ ̷ ̷| ̷ ̷ adjective 1. : being number 88 in a countable series the eighty-eighth day — see number table 2. …
Webster's New International English Dictionary
EIGHTY-EIGHT — I. | ̷ ̷ ̷ ̷| ̷ ̷ adjective : being one more than 87 in number eighty-eight years — see number table II. pronoun, plural …
Webster's New International English Dictionary
THORIUM SERIES — noun : a radioactive series beginning with thorium of mass number 232 and ending with thorium D which is the …
Webster's New International English Dictionary
ZIA-UL-HAQ — /zee"ah ool hahk"/ , n. Mohammed , 1924-88, Pakistani army general and political leader: president 1978-88.
Random House Webster's Unabridged English Dictionary
WILLIAM I — 1. ( "the Conqueror" ) 1027-87, duke of Normandy 1035-87; king of England 1066-87 (son of Robert I, duke of …
Random House Webster's Unabridged English Dictionary
WAITE — /wayt/ , n. Morrison Remick /rem"ik/ , 1816-88, U.S. jurist: Chief Justice of the U.S. 1874-88.
Random House Webster's Unabridged English Dictionary
TURN
Random House Webster's Unabridged English Dictionary
SET — /set/ , v. , set, setting , n., adj., interj. v.t. 1. to put (something or someone) in a particular …
Random House Webster's Unabridged English Dictionary
EIGHTY-EIGHTH — /ay"tee aytth", -ayth"/ , adj. 1. next after the eighty-seventh; being the ordinal number for 88. 2. being one of …
Random House Webster's Unabridged English Dictionary
STATISTICS: NICARAGUA
Britannica English vocabulary
STATISTICS: ETHIOPIA
Britannica English vocabulary
PTOLEMY IX SOTER II — flourished 1st century BC byname Lathyrus (Greek: Chickpea) Macedonian king of Egypt (reigned 116110, 109107, and 8881 BC) who, after …
Britannica English vocabulary
WINE — I. noun COLLOCATIONS FROM OTHER ENTRIES a wine bar (= a bar selling mostly wine, in contrast to a pub …
Longman DOCE5 Extras English vocabulary
THROW — I. verb COLLOCATIONS FROM OTHER ENTRIES a court dismisses/throws out sth (= refuses to allow or consider something ) ▪ …
Longman DOCE5 Extras English vocabulary
OUT
Longman DOCE5 Extras English vocabulary
ROAMER — The 1925 8-88, 6-54e, 4-75; 1926 4-75e and 8-88; 1927; 1928; 1929 8-88; 1929 8-125; and 1930 8:125 models are …
English Dictionary of Automotive Terms
CLASSIC CAR — A vehicle that is generally considered to be one of the finest models ever built. Unlike antique cars, classic cars …
English Dictionary of Automotive Terms
FINE — I 1. сущ. 1) конец уст. (кроме сочетаний) in fine 2) а) ист. юр. вид мировой (как "взаимовыгодное завершение дела") …
Большой Англо-Русский словарь
OLDSMOBILE NINETY EIGHT — "Олдсмобиль-98" Дорогой автомобиль отделения "Олдсмобиль" [Oldsmobile] корпорации "Дженерал моторс" [General Motors Corp.], более длинный и вместительный, а также более мощный вариант …
OLDSMOBILE EIGHTY-EIGHT — "Олдсмобиль-88" Модель автомобиля среднего или выше среднего класса; выпускался отделением "Олдсмобиль" [Oldsmobile] корпорации "Дженерал моторс" [General Motors Corp.] с начала 1950-х; …
OLDSMOBILE — авто "Олдсмобиль" 1) Отделение корпорации "Дженерал моторс" [General Motors Corp.]. В 2001 принято решение о закрытии подразделения к концу 2004 2) Модель легкового …
OLDSMOBILE NINETY EIGHT — "Олдсмобиль-98" Дорогой автомобиль отделения "Олдсмобиль" [Oldsmobile] корпорации "Дженерал моторс" [General Motors Corp.], более длинный и вместительный, а также более мощный …
OLDSMOBILE EIGHTY-EIGHT — "Олдсмобиль-88" Модель автомобиля среднего или выше среднего класса; выпускался отделением "Олдсмобиль" [Oldsmobile] корпорации "Дженерал моторс" [General Motors Corp.] с начала …
СУЛЛА — (Lucius Cornelius Sulla Felix) (138-78 до н.э.), римский государственный деятель и полководец, с 82 по 79 до н.э. - диктатор. …
Русский словарь Colier
FINE — I 1. сущ. 1) конец уст. (кроме сочетаний) in fine 2) а) ист. юр. вид мировой (как "взаимовыгодное завершение дела") …
Новый большой Англо-Русский словарь

FOLDOC Computer English Dictionary

← HOL HOL-90→