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