HOL


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

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

РУССО. Big English-Russian polytechnic dictionary Russo.      Большой Англо-Русский политехнический словарь РУССО.