资料来源 : pyDict

树形逻辑

资料来源 : Free On-Line Dictionary of Computing

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