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

   Російська ⇄ Англійська
Google | Forvo | +
параметризованный сортнаголоси
шт.інтел. parametrized sort (тип данных в языке программирования решателей задач выполнимости формул в теориях SMT-LIB Alex_Odeychuk)
параметризованные сорт
шт.інтел. parametrized sort (Alex_Odeychuk)

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