Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Czech
English
French
German
Hungarian
Japanese
Portuguese
Russian
Terms
for subject
Artificial intelligence
containing
SMT
|
all forms
|
exact matches only
English
Russian
accurate
SMT
system
система точного статистического машинного перевода
(
Alex_Odeychuk
)
advance in
SMT
solvers
прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях
(контекстуальный перевод на русс. язык
Alex_Odeychuk
)
automatic theorem prover for
SMT
problems
автоматический доказатель теорем для задач выполнимости формул в теориях
(SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях"
Alex_Odeychuk
)
automatic theorem prover for
SMT
problems
автоматический доказатель теорем для задач выполнимости формул в теориях
capabilities of
SMT
solvers
функциональные возможности решателей задач выполнимости формул в теориях
(
Alex_Odeychuk
)
conforming
SMT
solver
совместимый решатель задач выполнимости формул в теориях
(
Alex_Odeychuk
)
objective means of comparing
SMT
solvers
объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях
(контекстуальный перевод на русс. язык
Alex_Odeychuk
)
SMT
benchmark problem
эталонная задача для решателя задач выполнимости формул в теориях
(
Alex_Odeychuk
)
SMT
-COMP
соревнование решателей задач выполнимости формул в теориях
(сокр. от "SMT competition"
Alex_Odeychuk
)
SMT
competition
соревнование решателей задач выполнимости формул в теориях
(
Alex_Odeychuk
)
SMT
competition
соревнования решателей задач выполнимости формул в ограничениях
(
Alex_Odeychuk
)
SMT
formula
формула задачи выполнимости в теориях
(
Alex_Odeychuk
)
SMT
problem
задача выполнимости формул в теориях
(сокр. от "satisfiability modulo theories problem"
Alex_Odeychuk
)
SMT
research
исследования в области статистического машинного перевода
(
Alex_Odeychuk
)
SMT
results
перевод, выполненный системой статистического машинного перевода
(
Alex_Odeychuk
)
SMT
solver
решатель задач выполнимости формул в теориях
(SMT – сокр. от "satisfiability modulo theories"; Microsoft
Alex_Odeychuk
)
SMT
solver competition
соревнование решателей задач выполнимости формул в теориях
(
Alex_Odeychuk
)
SMT
system
система статистического машинного перевода
(
Alex_Odeychuk
)
SMT
workshop
семинар по решателям задач выполнимости формул в теориях
(
Alex_Odeychuk
)
Get short URL