computation tree logic
danh từ (noun)
Nghĩa chính
- Logic phương thức cụ thể về thời gian phân nhánh với các toán tử "tiếp theo", "toàn cầu", "cuối cùng" hoặc "cuối cùng", "cho đến khi" và "yếu cho đến"danh từkhông đếm được (uncountable)A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".
Đồng nghĩa (synonym)
Đồng nghĩa