English | Russian |
parametrized sort | параметризованный тип (Alex_Odeychuk) |
parametrized sort | обобщённый тип (русс. перевод в терминологии ведущих языков программирования Alex_Odeychuk) |
parametrized sort | параметризованные сорт (Alex_Odeychuk) |
parametrized sort | параметризованный сорт (тип данных в языке программирования решателей задач выполнимости формул в теориях SMT-LIB Alex_Odeychuk) |
parametrized sort | параметризованный класс (в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
sort the conflict set | выполнить сортировку продукционных правил, входящих в конфликтное множество (в экспертной системе Alex_Odeychuk) |