英语 ⇄ 俄语 +

computational deduction 强调
语言科学	вычислительный вывод; компьютерный вывод