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