英语 ⇄ 俄语 +

refinement calculus 强调
数学	исчисление уточнений (Alex_Odeychuk)
软件	исчисление детализации (Litania)

refinement calculus : 1 短语, 1 学科

数学

1