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

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