без примеровНайдено в 1 словаре
Вычислительная техника и программирование- Настоящее издание существенно дополнено терминами из области проектирования и моделирования логических устройств, систем представления знаний, компьютеризации производства, систем искусственного интеллекта, вычислительных сетей, цифровой обработки сигналов, параллельных и конвейерных вычислений, системного анализа, интернет-технологий.
- Настоящее издание существенно дополнено терминами из области проектирования и моделирования логических устройств, систем представления знаний, компьютеризации производства, систем искусственного интеллекта, вычислительных сетей, цифровой обработки сигналов, параллельных и конвейерных вычислений, системного анализа, интернет-технологий.
prover
средство доказательства
Добавить в мой словарь
prover
средство доказательства
Переводы пользователей
Существительное
- 1.
прувер
Перевод добавил Вадим С
Словосочетания
automatic theorem prover
программа автоматического доказательства теорем
heat prover
тепловой анализатор выхлопных и отходящих газов
pipe prover
аппарат для гидравлического испытания труб
pipe prover
аппарат для проверки герметичности труб
program correctness prover
средства доказательства правильности программ
pipe prover
аппарат испытания труб
cloth prover
ткацкая лупа
prover loop
контрольная петля
bell prover
контрольное устройство для расходомера