HOL


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

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

Big English-Russian dictionary .      Большой Англо-Русский словарь.