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

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