Subject | English | Russian |
AI. | accurate SMT system | система точного статистического машинного перевода (Alex_Odeychuk) |
AI. | advance in SMT solvers | прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях (контекстуальный перевод на русс. язык Alex_Odeychuk) |
AI. | automatic theorem prover for SMT problems | автоматический доказатель теорем для задач выполнимости формул в теориях (SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях" Alex_Odeychuk) |
AI. | automatic theorem prover for SMT problems | автоматический доказатель теорем для задач выполнимости формул в теориях |
amer. | be hooked on smt. | подсесть (на что-либо Technical) |
gen. | be positive about smt. | быть уверенным в (чем-то Black_Swan) |
gen. | be positive about smt. | не сомневаться в (чем-то Black_Swan) |
gen. | buy smt. hook, line, and sinker | бездумно поверить (чему-либо Evgeny Shamlidi) |
gen. | buy smt. hook, line, and sinker | заглотнуть наживку (Evgeny Shamlidi) |
AI. | capabilities of SMT solvers | функциональные возможности решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
AI. | conforming SMT solver | совместимый решатель задач выполнимости формул в теориях (Alex_Odeychuk) |
gen. | get to the meat of smt. | дойти до самой важной части (чего-либо Evgeny Shamlidi) |
gen. | hate on smt | оскорблять (akimboesenko) |
gen. | hate on smt | нападать (akimboesenko) |
gen. | hate on smt | критиковать (akimboesenko) |
gen. | have one's picture taken in front of smt. | сфотографироваться на фоне чего-либо (Franka_LV) |
gen. | ...itching to do smt. | так и руки чешутся сделать (что-либо; разг.: Doing so, they argue, would hand Syria to Iran and Russia on a silver platter and subject Washington's Kurdish allies to near-certain slaughter from a Turkish government itching to launch an operation east of the Euphrates River. the national interest, december 20, 2018) |
gen. | not to let smt out of one's sight | не спустить глаз с чего-либо (Franka_LV) |
gen. | not to let smt out of one's sight | не спускать глаз с чего-либо (Franka_LV) |
gen. | not to let smt out of one's sight | не спускать глаз с чего-то (Franka_LV) |
gen. | not to let smt out of one's sight | не спустить глаз с чего-то (Franka_LV) |
AI. | objective means of comparing SMT solvers | объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях (контекстуальный перевод на русс. язык Alex_Odeychuk) |
gen. | put smt. down to | списывать на счёт (чего-либо Евгений Шамлиди) |
gen. | shall not use smt other than for/to | будет что-либо использовать только для (Peter Cantrop) |
AI. | SMT benchmark problem | эталонная задача для решателя задач выполнимости формул в теориях (Alex_Odeychuk) |
AI. | SMT-COMP | соревнование решателей задач выполнимости формул в теориях (сокр. от "SMT competition" Alex_Odeychuk) |
AI. | SMT competition | соревнование решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
AI. | SMT competition | соревнования решателей задач выполнимости формул в ограничениях (Alex_Odeychuk) |
AI. | SMT formula | формула задачи выполнимости в теориях (Alex_Odeychuk) |
AI. | SMT problem | задача выполнимости формул в теориях (сокр. от "satisfiability modulo theories problem" Alex_Odeychuk) |
AI. | SMT research | исследования в области статистического машинного перевода (Alex_Odeychuk) |
AI. | SMT results | перевод, выполненный системой статистического машинного перевода (Alex_Odeychuk) |
math., softw. | SMT solver | утилита автоматического доказательства теорем (Alex_Odeychuk) |
progr. | SMT solver | решатель задач выполнимости формул в комбинации теорий (Alex_Odeychuk) |
AI. | SMT solver | решатель задач выполнимости формул в теориях (SMT – сокр. от "satisfiability modulo theories"; Microsoft Alex_Odeychuk) |
progr. | SMT solver | решатель задач выполнимости формул с учётом лежащих в их основе теорий (IBM Alex_Odeychuk) |
AI. | SMT solver competition | соревнование решателей задач выполнимости формул в теориях (Alex_Odeychuk) |
AI. | SMT system | система статистического машинного перевода (Alex_Odeychuk) |
light. | SMT-technology | SMT-технология (MichaelBurov) |
light. | SMT-technology | технология поверхностного монтажа (MichaelBurov) |
gen. | smt. to match | несравненный (Пример: a destructive power to match – несравненное поражающее действие. Kozh) |
AI. | SMT workshop | семинар по решателям задач выполнимости формул в теориях (Alex_Odeychuk) |
gen. | take an honest look at smt | смотреть правде в глаза (Windystone) |
Makarov. | train binoculars on smt something | навести бинокль на (кого-либо, что-либо) |
PCB | type 1 SMT assembly | узел поверхностного монтажа типа 1 (поверхностный монтаж с использованием компонентов для поверхностного монтажа на одной или обеих сторонах подложки. Узел припаивается пайкой оплавлением в один или два этапа, в зависимости от конфигурации Метран) |
gen. | wait in vain for smt. | ждать у моря погоды (Interex) |
gen. | wash someone's hands of smt | умыть руки (Windystone) |