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

дедуктивный синтез программ מתח
.תִכנו	deductive program synthesis (ssn)