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

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