Вхід | Ukrainian | Угода користувача
СловникиФорумКонтакти

   Англійська ⇄ Російська +
Google | Forvo | +

SMT-COMP

наголоси
шт.інтел. соревнование решателей задач выполнимости формул в теориях (сокр. от "SMT competition" Alex_Odeychuk)

Додати | Повідомити про помилку | Коротке посилання