As we will see in Section 3.6, these second-order properties can be expressed in propositional temporal languages. 2.2 Interval-based models of ...
確定! 回上一頁