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