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