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

computation tree logic מתח
.תִכנו	логика деревьев вычислений (сокр. CTL ssn)
אנגלית אוצר מילים
Computation Tree Logic
.נוֹטָ, .תִכנו	CTL (ssn)