FORMAL SIMPLIFICATION Англо-русский перевод FORMAL SIMPLIFICATION матем. формальное упрощение English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005