Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Artificial intelligence containing соревнование | all forms | exact matches only
RussianEnglish
соревнование решателей задач выполнимости формул в теорияхSMT-COMP (сокр. от "SMT competition" Alex_Odeychuk)
соревнование решателей задач выполнимости формул в теорияхSMT competition (Alex_Odeychuk)
соревнование решателей задач выполнимости формул в теорияхSMT solver competition (Alex_Odeychuk)
соревнования решателей задач выполнимости формул в ограниченияхSMT competition (Alex_Odeychuk)

Get short URL