AUTOMATIC THEOREM PROVER

Англо-русский перевод AUTOMATIC THEOREM PROVER

программа (для) автоматического доказательства теорем

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

AUTOMATIC THEOREM PROVER — программа (для) автоматического доказательства теорем
Большой Англо-Русский словарь
AUTOMATIC THEOREM PROVER — программа (для) автоматического доказательства теорем
Англо-Русский словарь по компьютерам
AUTOMATIC THEOREM PROVER — программа (для) автоматического доказательства теорем
Новый большой Англо-Русский словарь
PROVER — noun see: prove
Толковый словарь английского языка - Merriam Webster
THEOREM — I In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Английский словарь Британика
THEOREM — I. ˈthēərəm, ˈthi(ə)r- sometimes ˈthēr- noun ( -s ) Etymology: Late Latin theorema, from Greek theōrēma sight, spectacle, theory, theorem, …
Webster's New International English Dictionary
AUTOMATIC — I. |ȯd.ə|mad.ik, |ȯtə-, -atik, -ēk adjective also au·to·mat·i·cal -ə̇kəl, -ēk- Etymology: Greek automatos self-acting + English -ic, -ical — more …
Webster's New International English Dictionary
PROVER — ˈprüvə(r) noun ( -s ) Etymology: Middle English, from proven to prove + -er — more at prove : one …
Webster's New International English Dictionary
THEOREM — (v. t.) To formulate into a theorem.
Английский словарь Webster
PROVER — (n.) One who, or that which, proves.
Английский словарь Webster
THEOREM — ( v. t. ) To formulate into a theorem.
Webster's Revised Unabridged English Dictionary
PROVER — ( n. ) One who, or that which, proves.
Webster's Revised Unabridged English Dictionary
AUTOMATIC
Random House Webster's Unabridged English Dictionary
PROVER — n. one who verifies by giving evidence, one who demonstrates
Толковый словарь английского языка - Редакция bed
AUTOMATIC — n. automatic rifle, automatic pistol, automatic gun; machine which operates automatically
Толковый словарь английского языка - Редакция bed
PROVER — see prove
Merriam-Webster's Collegiate English vocabulary
AUTOMATIC — I. ˌȯ-tə-ˈma-tik adjective Etymology: Greek automatos self-acting, from aut- + -matos (akin to Latin ment-, mens mind) — more at …
Merriam-Webster's Collegiate English vocabulary
THEOREM — noun Etymology: Late Latin theorema, from Greek theōrēma, from theōrein to look at, from theōros spectator, from thea act of …
Merriam-Webster's Collegiate English vocabulary
THEOREM — vt to formulate into a theorem. 2. theorem ·noun a statement of a principle to be demonstrated. 3. theorem ·noun …
Webster English vocab
PROVER — noun one who, or that which, proves.
Webster English vocab
AUTOMATIC — [au.to.mat.ic] adj [Gk automatos self-acting, fr. aut- + -matos (akin to L ment-, mens mind)--more at mind] (1748) 1 a: …
Merriam-Webster English vocab
THEOREM — in mathematics and logic, a proposition or statement that is demonstrated. In geometry, a proposition is commonly considered as a …
Britannica English vocabulary
THEOREM — theorem BrE AmE ˈθɪər ə m § ˈθiː ə r ə m AmE ˈθiː ə r ə m ˈθɪr ə …
Longman Pronunciation English Dictionary
AUTOMATIC — automatic BrE AmE ˌɔːt ə ˈmæt ɪk ◂ AmE \ ˌɔːt̬ ə ˈmæt̬ ɪk ◂ ˌɑːt̬- ▷ automatic|ally ə l‿i …
Longman Pronunciation English Dictionary
AUTOMATIC — / ˌɔːtəˈmætɪk; NAmE / adjective , noun ■ adjective 1. ( of a machine, device, etc. ) having controls that …
Oxford Advanced Learner's English Dictionary
THEOREM — theo ‧ rem /ˈθɪərəm $ ˈθiːə-/ BrE AmE noun [countable] [ Word Family: noun : ↑ theorist , ↑ theory …
Longman Dictionary of Contemporary English
AUTOMATIC — I. au ‧ to ‧ mat ‧ ic 1 S3 AC /ˌɔːtəˈmætɪk◂ $ ˌɒː-/ BrE AmE adjective [ Word Family: …
Longman Dictionary of Contemporary English
AUTOMATIC — adj. & n. --adj. 1 (of a machine, device, etc., or its function) working by itself, without direct human intervention. …
Английский основной разговорный словарь
AUTOMATIC — adj. & n. adj. 1 (of a machine, device, etc., or its function) working by itself, without direct human intervention. …
Concise Oxford English Dictionary
AUTOMATIC — adj. & n. --adj. 1. (of a machine, device, etc., or its function) working by itself, without direct human intervention. …
Oxford English vocab
AUTOMATIC — ( automatics) Frequency: The word is one of the 3000 most common words in English. 1. An automatic machine or …
Collins COBUILD Advanced Learner's English Dictionary
THEOREM — noun COLLOCATIONS FROM CORPUS ■ VERB prove ▪ To help prove this theorem we shall need to call upon the …
Longman DOCE5 Extras English vocabulary
AUTOMATIC — I. adjective COLLOCATIONS FROM OTHER ENTRIES an automatic weapon (= an automatic gun ) ▪ He was shot 120 times …
Longman DOCE5 Extras English vocabulary
AUTOMATIC — (NOT CONSCIOUS) [adjective] - done without thinking about itLife would be impossible if digestion wasn't an automatic process.When driving becomes …
Cambridge English vocab
THEOREM — n. Bernoulli's theorem binomial theorem central limit theorem Fermat's last theorem fundamental theorem of algebra fundamental theorem of arithmetic fundamental …
Britannica Concise Encyclopedia
THEOREM — n. In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and …
Britannica Concise Encyclopedia
AUTOMATIC — n. 25B6; adjective automatic garage doors : MECHANIZED, mechanical, automated, computerized, electronic, robotic; self-activating. an automatic reaction : INSTINCTIVE, involuntary, …
Concise Oxford Thesaurus English vocabulary
THEOREM — n. 1 hypothesis, proposition, assumption, conjecture, thesis, postulate He has set forth a clever proof of the binomial theorem 2 …
Oxford Thesaurus English vocab
AUTOMATIC — adj. 1 self-acting, self-governing, self-regulating, mechanical, robot, automated Many modern cars are equipped with an automatic choke 2 mechanical, involuntary, …
Oxford Thesaurus English vocab
AUTOMATIC — Anything that operates without the direct control of the driver . See Automatic choke , automatic gearbox , Automatic level …
English Dictionary of Automotive Terms
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
PROVER — средство доказательства automatic theorem prover program correctness prover (полиграфия) снимающий пробный оттиск
Большой Англо-Русский словарь
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. ≈ автостоп automatic pistol ≈ пистолет automatic rifle ≈ автоматическая винтовка; …
Большой Англо-Русский словарь
THEOREM — theorem.ogg 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROVER — n 1. см. prove + -er 2. полигр. снимающий пробный оттиск
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
AUTOMATIC — automatic.ogg 1. ͵ɔ:təʹmætık n 1. автоматический механизм; автоматическое устройство this record-player is an automatic - это проигрыватель-автомат 2. 1> автоматическая …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial …
Большой Англо-Русский политехнический словарь
PROVER — средство контроля - heat prover - pipe prover
Большой Англо-Русский политехнический словарь
THEOREM — 1) теорема 2) формула • - approximation theorem - area moment theorems - Bayes theorem - Bernoulli theorem - binomial theorem - Campbell's theorem - divergence theorem - duality theorem - …
Большой Англо-Русский политехнический словарь - РУССО
PROVER — средство контроля - heat prover - pipe prover
Большой Англо-Русский политехнический словарь - РУССО
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
PROVER — доказательство
Англо-Русский словарь Tiger
PROVER — (n) снимающий пробный оттиск
English-Russian Lingvistica'98 dictionary
PROVER — n 1. см. prove + -er 2. полигр. снимающий пробный оттиск
Новый большой Англо-Русский словарь - Апресян, Медникова
THEOREM — 1. ʹθıərəm n теорема by theorem - по /согласно/ теореме reciprocal theorem - обратная теорема to prove the theorem - …
Большой новый Англо-Русский словарь
PROVER — n 1. см. prove + -er 2. полигр. снимающий пробный оттиск
Большой новый Англо-Русский словарь
AUTOMATIC — 1. ͵ɔ:təʹmætık n 1. автоматический механизм; автоматическое устройство this record-player is an automatic - это проигрыватель-автомат 2. 1> автоматическая винтовка, …
Большой новый Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem …
Англо-Русский словарь по общей лексике
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. — автостоп ( ручка тормоза в поезде ) automatic pistol — …
Англо-Русский словарь по общей лексике
THEOREM — сущ. теорема to deduce a theorem — выводить теорему to formulate a theorem — формулировать теорему to prove a theorem — доказывать теорему to test …
Англо-Русский словарь общей лексики
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. — автостоп (ручка тормоза в поезде) automatic pistol — пистолет automatic rifle — автоматическая винтовка; …
Англо-Русский словарь общей лексики
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства 2
AUTOMATIC — станок-автомат; автомат, токарный автомат || автоматический - bar automatic - bar-and-chucking automatic - cam automatic - cam-controlled automatic - camless …
Англо-Русский словарь по машиностроению и автоматизации производства 2
THEOREM — в соч. - Castigliano's first theorem - Castigliano's second theorem
Англо-Русский словарь по машиностроению и автоматизации производства

Англо-Русский словарь по вычислительной технике и программированию

← AUTOMATIC TEST SYSTEM AUTOMATIC TRANSACTION→