Электронный каталог: Карамишева І.Д. - Формалізація лінгвістичних об'єктів як засіб оптимізації машинного перекладу