ISABELLE-93

Meaning of ISABELLE-93 in English

Isabelle

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

ISABELLE — < theory , tool > A generic theorem prover with support for several object-logics , developed by Lawrence C. Paulson …
FOLDOC Computer English Dictionary
ISABELLE — Часы
Американский Англо-Русский словарь
ISABELLE — Колокола
Американский Англо-Русский словарь
ISABELLE — Белл
Американский Англо-Русский словарь
CHARRIRE, ISABELLE-AGNS-LIZABETH DE — born Oct. 20, 1740, Zuilen, near Utrecht, Neth. died Dec. 27, 1805, Colombier, Switz. original name Isabella Agneta Elisabeth van …
Britannica English vocabulary
ISABELLE-92 — Isabelle
FOLDOC Computer English Dictionary
OAXACA — I State (pop., 2000: 3,438,7653,438,765), southern Mexico. Bounded by the Pacific Ocean, it occupies 36,275 sq mi (93,952 sq km) …
Английский словарь Британика
NINETY-THREE — I. | ̷ ̷ ̷ ̷| ̷ ̷ adjective : being one more than 92 in number ninety-three years — see number table II. pronoun, plural …
Webster's New International English Dictionary
NINETY-THIRD — I. | ̷ ̷ ̷ ̷| ̷ ̷ adjective 1. : being number 93 in a countable series the ninety-third day — see number table 2. …
Webster's New International English Dictionary
HUM — I. ˈhəm verb ( hummed ; hummed ; humming ; hums ) Etymology: Middle English hummen; akin to Middle High …
Webster's New International English Dictionary
ISABELLA — ˌizəˈbelə noun also is·a·bel ˈizəˌbel ( -s ) Usage: often capitalized Etymology: Middle French isabelle, from Isabelle (feminine name) : …
Webster's New International English Dictionary
GIVE IN — transitive verb 1. : to hand in : deliver , submit I desire to give in my notice — Henry …
Webster's New International English Dictionary
WHITE — /hwuyt, wuyt/ , n. 1. Byron R(aymond) ( "Whizzer" ), born 1917, U.S. lawyer and jurist: associate justice of the …
Random House Webster's Unabridged English Dictionary
STANFORD — /stan"feuhrd/ , n. 1. (Amasa) Leland , 1824-93, U.S. railroad developer, politician, and philanthropist: governor of California 1861-63; senator 1885-93. …
Random House Webster's Unabridged English Dictionary
SALADIN — /sal"euh din/ , n. ( Salah-ed-Din Yusuf ibn Ayyub ) 1137-93, sultan of Egypt and Syria 1175-93: opponent of Crusaders.
Random House Webster's Unabridged English Dictionary
NINETY-THREE — /nuyn"tee three"/ , n. 1. a cardinal number, 90 plus 3. 2. a symbol for this number, as 93 or …
Random House Webster's Unabridged English Dictionary
NINETY-THIRD — /nuyn"tee therrd"/ , adj. 1. next after the ninety-second; being the ordinal number for 93. 2. being one of 93 …
Random House Webster's Unabridged English Dictionary
MARIE ANTOINETTE — /meuh ree" an'tweuh net", an'teuh-/ ; Fr. /mann rddee" ahonn twann net"/ , ( Joséphe Jeanne Marie Antoinette ) 1755-93, …
Random House Webster's Unabridged English Dictionary
LAMAR — /leuh mahr"/ , n. 1. Joseph R ., 1857-1916, U.S. jurist: associate justice of the U.S. Supreme Court 1911-16. 2. …
Random House Webster's Unabridged English Dictionary
ISABEL — /iz"euh bel'/ , n. a female given name. Also, Isabelle, Isabella /iz'euh bel"euh/ .
Random House Webster's Unabridged English Dictionary
HAYES — /hayz/ , n. 1. Carlton J(oseph) H(untley) , 1882-1964, U.S. historian, educator, and diplomat. 2. Helen ( Helen Hayes Brown …
Random House Webster's Unabridged English Dictionary
FREDERICK III — 1. 1415-93, emperor of the Holy Roman Empire 1452-93; as Frederick IV, king of Germany 1440-93. 2. ( "the Wise" …
Random House Webster's Unabridged English Dictionary
FOX — /foks/ , n. 1. Charles James , 1749-1806, British orator and statesman. 2. George , 1624-91, English religious leader and …
Random House Webster's Unabridged English Dictionary
BAUDOUIN I — Fr. /boh dwaonn"/ 1930-93, king of the Belgians 1951-93.
Random House Webster's Unabridged English Dictionary
BALLANCE — /bal"euhns/ , n. John , 1839-93, New Zealand statesman, born in Ireland: prime minister 1891-93.
Random House Webster's Unabridged English Dictionary
ANTOINETTE — /an'tweuh net", -teuh-/ ; Fr. /ahonn twann net"/ , n. 1. Marie /meuh ree"/ ; Fr. /mann rddee"/ , 1755-93, …
Random House Webster's Unabridged English Dictionary
TRANSURANIUM ELEMENT — Figure 1: Modern version of the periodic table of the elements. To see more information about an any of the …
Britannica English vocabulary
NEPTUNIUM — (Np), radioactive chemical element of the actinide series in Group IIIb of the periodic table, first transuranium element to be …
Britannica English vocabulary
METHANOL — also called methyl alcohol, wood alcohol, or wood spirit the simplest of a long series of organic compounds called alcohols; …
Britannica English vocabulary
EDUCATION, HISTORY OF — history of the evolution of the formal teaching of knowledge and skills, from prehistoric and ancient times to the present …
Britannica English vocabulary
YEAR IN REVIEW 1998: PERFORMING-ARTS
Britannica English vocabulary
YEAR IN REVIEW 1997: PERFORMING-ARTS: SPECIAL REPORT
Britannica English vocabulary
YEAR IN REVIEW 1996: SPORTS-AND-GAMES: ICE HOCKEY — ICE HOCKEY: International. The 59th world championship was contested by a record 39 nations, three more than the previous year, …
Britannica English vocabulary
STATISTICS: UGANDA
Britannica English vocabulary
STATISTICS: MOZAMBIQUE
Britannica English vocabulary
STATISTICS: MARTINIQUE
Britannica English vocabulary
STATISTICS: MALDIVES
Britannica English vocabulary
STATISTICS: INDIA
Britannica English vocabulary
STATISTICS: ETHIOPIA
Britannica English vocabulary
RENOIR, PIERRE-AUGUSTE — born February 25, 1841, Limoges, France died December 3, 1919, Cagnes French painter originally associated with the Impressionist movement. His …
Britannica English vocabulary
PARIS, (LOUIS-) PHILIPPE (-ALBERT) D'ORLANS, COMTE DE — (count of) born Aug. 24, 1838, Paris, Fr. died Sept. 8, 1894, Stow House, Twickenham, Middlesex, Eng. pretender to the …
Britannica English vocabulary
OAKLEY, ANNIE — born Aug. 13, 1860, Darke county, Ohio, U.S. died Nov. 3, 1926, Greenville, Ohio original name Phoebe Ann Moses American …
Britannica English vocabulary
NEMOURS, CHARLES-AMDE DE SAVOIE, DUKE (DUC) DE — born April 1624 died July 30, 1652, Paris, France son of Henri I de Savoie and ducal successor to his …
Britannica English vocabulary
MOUNT ISA — mining city, Queensland, Australia, located at the northern end of the Selwyn Range. The city's name is attributed to John …
Britannica English vocabulary
ISABELLA I — born 1172 died 1205 byname Isabella Of Anjou, French Isabelle D'anjou queen of Jerusalem (11921205). Daughter of Almaric I of …
Britannica English vocabulary
GIDE, ANDRE — Additional reading Arnold Naville, Bibliographie des crits de Andr Gide (1949, reprinted 1971), lists Gide's published writings. Catharine Savage Brosman, …
Britannica English vocabulary
GAINSBOROUGH, THOMAS — (baptized May 14, 1727, Sudbury, Suffolk, Eng.d. Aug. 2, 1788, London), portrait and landscape painter, the most versatile English painter …
Britannica English vocabulary
FRANCIS II — born Feb. 12, 1768, Florence died March 2, 1835, Vienna the last Holy Roman emperor (17921806) and, as Francis I, …
Britannica English vocabulary
BOYD, BELLE — born May 9, 1844, Martinsburg, Va. [now W.Va.], U.S. died June 11, 1900, Kilbourne [now Wisconsin Dells], Wis. in full …
Britannica English vocabulary
RIPOSTE — ri ‧ poste /rɪˈpɒst, rɪˈpəʊst $ rɪˈpoʊst/ BrE AmE noun [countable] [ Date: 1700-1800 ; Language: French ; Origin: Italian …
Longman Dictionary of Contemporary English
RETORT — I. re ‧ tort 1 /rɪˈtɔːt $ -ɔːrt/ BrE AmE verb [transitive] [ Date: 1400-1500 ; Language: Latin ; Origin: …
Longman Dictionary of Contemporary English
REPLY — I. re ‧ ply 1 W2 /rɪˈplaɪ/ BrE AmE verb ( past tense and past participle replied , present participle …
Longman Dictionary of Contemporary English
REJOINDER — re ‧ join ‧ der /rɪˈdʒɔɪndə $ -ər/ BrE AmE noun [countable] [ Date: 1400-1500 ; Language: Old French ; …
Longman Dictionary of Contemporary English
COMEBACK — come ‧ back /ˈkʌmbæk/ BrE AmE noun [countable usually singular] 1 . make/stage a comeback if a person, activity, style …
Longman Dictionary of Contemporary English
ANSWER — I. an ‧ swer 1 S1 W1 /ˈɑːnsə $ ˈænsər/ BrE AmE noun [ Language: Old English ; Origin: andswaru …
Longman Dictionary of Contemporary English
UP
Longman DOCE5 Extras English vocabulary
TOTAL — I. adjective COLLOCATIONS FROM OTHER ENTRIES a complete/perfect/total stranger (= used to emphasize that you do not know the person …
Longman DOCE5 Extras English vocabulary
SQUIB — noun COLLOCATIONS FROM CORPUS ■ ADJECTIVE damp ▪ The fireworks display that heralded the opening of Antwerp 93 went off …
Longman DOCE5 Extras English vocabulary
SET — I. verb COLLOCATIONS FROM OTHER ENTRIES a bunch/set of keys (= a group of keys kept together ) ▪ He …
Longman DOCE5 Extras English vocabulary
RELIEF — noun COLLOCATIONS FROM OTHER ENTRIES a relief effort ▪ The UN is organizing the relief effort to the region affected …
Longman DOCE5 Extras English vocabulary
BEDROOM — noun COLLOCATIONS FROM OTHER ENTRIES a bathroom/hall/bedroom cupboard British English ▪ Your boots are in the hall cupboard. a bedroom/living-room …
Longman DOCE5 Extras English vocabulary
DIGITAL AUDIO TAPE — < storage , music > (DAT) A format for storing music on magnetic tape, developed in the mid-1980s by Sony …
FOLDOC Computer English Dictionary
ФИЛИППИНЫ — ФИЛИППИНЫ: ЭКОНОМИКА Теряя свою относительную значимость, оно продолжает оставаться основой экономической жизни страны. Доля самодеятельного населения, вовлеченного в агропроизводство, резко …
Русский словарь Colier

FOLDOC Computer English Dictionary

← ISABELLE-92 ITERATED FUNCTION SYSTEM→