Source Word
computation tree logic
Noun
uncountable
Japanese Meaning
計算木論理：分岐時間を扱う特殊な様相論理であり、『次』、『全体』、『最終（または最終的に）』、『until』、『weak until』などのオペレーターを用いて、システムの状態遷移などを形式的に表現する論理体系
DiQt
Free
★★★★★★★★★★
