词组短语
propositional logic命题逻辑
propositional calculus命题演算
权威例句
Results on the propositional μ-calculus
Results on the propositional μ-calculus
Results on the propositional μ-calculus
Results on the Propositional mu-Calculus.
The complexity of propositional linear temporal logics
The complexity of propositional linear temporal logics
The complexity of propositional linear temporal logics
On the Complexity of Derivation in Propositional Calculus
On the Complexity of Derivation in Propositional Calculus
On the complexity of derivations in the propositional calculus