AUTOMATIC PROOF Англо-русский перевод AUTOMATIC PROOF мат. автоматическое доказательство New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011