Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄ English
Google | Forvo | +
соревнование решателей задач выполнимости формул в теорияхstresses
AI. SMT solver competition (Alex_Odeychuk); SMT-COMP (сокр. от "SMT competition" Alex_Odeychuk); SMT competition (Alex_Odeychuk)

Add | Report an error | Get short URL | Language Selection Tips