英语 ⇄ 中文 俄语 德语 日语

term rewriting 强调
编程	преобразование терма (логического выражения ssn); преобразование записи выражения (ssn); запись выражения в иной форме (ssn); метод программирования, использующий преобразование записи выражений (ssn)