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