logic tree – phrases

Terms for subject Programming containing logic tree | all forms

English	Russian
computation tree logic	логика деревьев вычислений (сокр. CTL ssn)
computational tree logic	логика ветвящегося времени (ssn)
tree logic	ветвящаяся логика (ssn)