PROVER

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

средство доказательства - automatic theorem prover - program correctness prover

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

PROVER — noun see: prove
Толковый словарь английского языка - Merriam Webster
PROVER — ˈprüvə(r) noun ( -s ) Etymology: Middle English, from proven to prove + -er — more at prove : one …
Webster's New International English Dictionary
PROVER — (n.) One who, or that which, proves.
Английский словарь Webster
PROVER — ( n. ) One who, or that which, proves.
Webster's Revised Unabridged English Dictionary
PROVER — n. one who verifies by giving evidence, one who demonstrates
Толковый словарь английского языка - Редакция bed
PROVER — see prove
Merriam-Webster's Collegiate English vocabulary
PROVER — noun one who, or that which, proves.
Webster English vocab
PROVER — средство доказательства automatic theorem prover program correctness prover (полиграфия) снимающий пробный оттиск
Большой Англо-Русский словарь
PROVER — n 1. см. prove + -er 2. полигр. снимающий пробный оттиск
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROVER — средство контроля - heat prover - pipe prover
Большой Англо-Русский политехнический словарь
PROVER — средство контроля - heat prover - pipe prover
Большой Англо-Русский политехнический словарь - РУССО
PROVER — доказательство
Англо-Русский словарь Tiger
PROVER — (n) снимающий пробный оттиск
English-Russian Lingvistica'98 dictionary
PROVER — n 1. см. prove + -er 2. полигр. снимающий пробный оттиск
Новый большой Англо-Русский словарь - Апресян, Медникова
PROVER — n 1. см. prove + -er 2. полигр. снимающий пробный оттиск
Большой новый Англо-Русский словарь
PROVER — средство доказательства - automatic theorem prover - program correctness prover
Англо-Русский словарь по компьютерам
PROVER — устройство контроля, средство контроля - pipe prover
Англо-Русский словарь по строительству и новым строительным технологиям
PROVER — средство контроля - pipe prover
Большой Англо-Русский словарь по нефти и газу
PROVER — средство доказательства - automatic theorem prover - program correctness prover
Англо-Русский словарь компьютерных терминов
PROVER — средство доказательства automatic theorem prover program correctness prover (полиграфия) снимающий пробный оттиск
Новый большой Англо-Русский словарь
PROVER — доказательство
Англо-Русский словарь
PROBATOR — n tester, prover
Interlingua English vocab
PREE — transitive verb (~d; ~ing) Etymology: alteration of preve to prove, test, from Middle English preven, from Anglo-French prev-, stem of …
Толковый словарь английского языка - Merriam Webster
DISPROVE — transitive verb Etymology: Middle English, from Anglo-French desprover, from des- dis- + prover to prove Date: 14th century to prove …
Толковый словарь английского языка - Merriam Webster
PROVE — ˈprüv verb ( proved ; proved -vd ; or prov·en -vən ; proving ; proves ) Etymology: Middle English proven, …
Webster's New International English Dictionary
PREE — ˈprē transitive verb ( preed ; preed ; preeing ; prees ) Etymology: short from preve, to test, prove, from …
Webster's New International English Dictionary
DISPROVE — “+ transitive verb Etymology: Middle English disproven, from Middle French desprover, from des- dis- (I) + prover to prove — …
Webster's New International English Dictionary
EXCESS — (n.) The state of surpassing or going beyond limits; the being of a measure beyond sufficiency, necessity, or duty; that …
Английский словарь Webster
EXCESS — ( n. ) The state of surpassing or going beyond limits; the being of a measure beyond sufficiency, necessity, or …
Webster's Revised Unabridged English Dictionary
PROVE — — provable , adj. — provability, provableness , n. — provably , adv. — provenly , adv. — prover , …
Random House Webster's Unabridged English Dictionary
DISPROVE — — disprovable , adj. — disprover , n. /dis proohv"/ , v.t., disproved, disproving . to prove (an assertion, claim, …
Random House Webster's Unabridged English Dictionary

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

← PROVABLY UNSOLVABLE PROVIDE→