Sign in | English | Terms of Use
DictionaryForumContacts

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

Get short URL