without examplesFound in 1 dictionary
Computer Science- The present edition has been significantly enriched with terms from such areas as logical device design and modeling, knowledge engineering, production computerization, artificial intelligence systems, computer networks, digital signal processing, parallel and pipeline computations, system analysis, Internet Technology.
- The present edition has been significantly enriched with terms from such areas as logical device design and modeling, knowledge engineering, production computerization, artificial intelligence systems, computer networks, digital signal processing, parallel and pipeline computations, system analysis, Internet Technology.
prover
средство доказательства
Add to my dictionary
prover
средство доказательства
User translations
Noun
- 1.
прувер
translation added by Вадим С
Collocations
automatic theorem prover
программа автоматического доказательства теорем
heat prover
тепловой анализатор выхлопных и отходящих газов
pipe prover
аппарат для гидравлического испытания труб
pipe prover
аппарат для проверки герметичности труб
program correctness prover
средства доказательства правильности программ
pipe prover
аппарат испытания труб
cloth prover
ткацкая лупа
prover loop
контрольная петля
bell prover
контрольное устройство для расходомера