資料來源 : pyDict

樹形邏輯

資料來源 : Free On-Line Dictionary of Computing

CTL
     
        1. {Checkout Test language}.
     
        2. {Compiler Target Language}.
     
        3. {Computational Tree Logic}