theorem-proving process Мат. процесс доказательства теоремы Источник: Полный англо-русский словарь на Gufo.me Предложить изменения theorem-proving heuristics theorem-proving system
