computation tree logic

الإنجليزية - الإنجليزية

تعريف computation tree logic في الإنجليزية الإنجليزية القاموس.

A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until"

CTL

الواصلة

com·pu·ta·tion Tree log·ic

التركية النطق

kämpyıteyşın tri läcîk

المترادفات

computational tree logic, ctl

النطق

/ˌkämpyəˈtāsʜən ˈtrē ˈläʤək/ /ˌkɑːmpjəˈteɪʃən ˈtriː ˈlɑːʤɪk/