Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Programming containing SMT | all forms | exact matches only
EnglishRussian
SMT solverрешатель задач выполнимости формул в комбинации теорий (Alex_Odeychuk)
SMT solverрешатель задач выполнимости формул с учётом лежащих в их основе теорий (IBM Alex_Odeychuk)

Get short URL