computation tree logic

listen to the pronunciation of computation tree logic
Английский Язык - Английский Язык
A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until"
CTL
computation tree logic

    Расстановка переносов

    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/
Избранное
Еще...
Очистить