英语 ⇄ 俄语 +

automated theorem prover 强调
人工智能	система автоматического доказательства теорем (Microsoft Alex_Odeychuk)
软件	инструмент автоматического доказательства теорем (Alex_Odeychuk)