computation tree logic

  • 正體: 計算樹邏輯[電子計算機]