登入
sql ctl
05-08
# 系統分析與驗證 LTL ctl 系統分析與驗證 線性時态邏輯 計算數邏輯
04-24
# 面向計算機的數理邏輯 ctl LTL 過去算子 數理邏輯
greenplum 主備 切換 pg ctl
09-05
指令 checkpoint 指令行 ctl
09-27