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

computer-assisted deductive reasoning מתח
.בינה	автоматизированный дедуктивный вывод (Alex_Odeychuk)