THEOREM-PROVING HEURISTICS Англо-русский перевод THEOREM-PROVING HEURISTICS мат. эвристика доказательства теоремы Big English-Russian dictionary . Большой Англо-Русский словарь. 2012