DictionaryForumContacts

   Russian English
Google | Forvo | +
to phrases
выполнимость формул в теорияхstresses
AI. SMT (сокр. от "satisfiability modulo theories" Alex_Odeychuk)
выполнимости в теориях: 32 phrases in 2 subjects
Artificial intelligence30
Programming2