We review QML's syntax and semantics briefly . 2.1 Syntax QML is an extension of propositional logic with four classes of quantitative modal operators : ( c ) ...
確定! 回上一頁