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

automated logic reasoning מתח
.בינה	автоматические логические рассуждения (illinois.edu Alex_Odeychuk)