時間 限制滿足問題TCSP(Temporal Constraint Satisfaction Probl-ems)在諸如排程(scheduling)、程式驗證(program verfication) 、規劃(planning)、等等的問題上已被廣泛 ...
確定! 回上一頁