Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
Russian
Terms
containing
SMT solver
|
all forms
|
exact matches only
|
in specified order only
Subject
English
Russian
AI.
advance in
SMT solvers
прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях
(контекстуальный перевод на русс. язык
Alex_Odeychuk
)
AI.
capabilities of
SMT solvers
функциональные возможности решателей задач выполнимости формул в теориях
(
Alex_Odeychuk
)
AI.
conforming
SMT solver
совместимый решатель задач выполнимости формул в теориях
(
Alex_Odeychuk
)
AI.
objective means of comparing
SMT solvers
объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях
(контекстуальный перевод на русс. язык
Alex_Odeychuk
)
progr.
SMT solver
решатель задач выполнимости формул в комбинации теорий
(
Alex_Odeychuk
)
AI.
SMT solver
решатель задач выполнимости формул в теориях
(SMT – сокр. от "satisfiability modulo theories"; Microsoft
Alex_Odeychuk
)
math., softw.
SMT solver
утилита автоматического доказательства теорем
(
Alex_Odeychuk
)
progr.
SMT solver
решатель задач выполнимости формул с учётом лежащих в их основе теорий
(IBM
Alex_Odeychuk
)
AI.
SMT solver
competition
соревнование решателей задач выполнимости формул в теориях
(
Alex_Odeychuk
)
Get short URL