SUPERINFERENCE MACHINE Англо-русский перевод SUPERINFERENCE MACHINE механизм металогических выводов Big English-Russian polytechnic dictionary . Большой Англо-Русский политехнический словарь. 1997