Anglais ⇄ Russe +

refinement calculus contraintes
logic.	исчисление детализации (Litania)
math.	исчисление уточнений (Alex_Odeychuk)

refinement calculus : 1 phrases, 1 sujets

Mathématiques

1