HOL


Англо-русский перевод HOL

сокр. [higher-order language] высокоорганизованный алгоритмический язык

New large English-Russian dictionary .      Новый большой Англо-Русский словарь.