автоматическое доказательство

Мат. automatic proof

Источник: Полный русско-английский словарь на Gufo.me