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