АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО Русско-английский перевод АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО мат. automatic proof Большой Русско-Английский словарь. New big Russian-English dictionary. 2012