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

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