АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ Русско-английский перевод АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ Automated theorem proving Русско-Американский Английский словарь. Russian-American English dictionary . 2012