אנגלית ⇄ רוסית +

automated deduction מתח
.בינה	автоматическое доказательство теорем (Alex_Odeychuk)