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