\\t ::= cp | | \|/A\|/ | \|/V\|/ | X\|/ | Y\|/ | Y\|/ | \|/U\|/ | \|/S\|/ | \|/R\|/ | \|/B\|/. The class ofmp Atl * formulas is the set of all the state ...
確定！ 回上一頁
