基本解釋[計算機科學技術]第二階述詞演算詞組短語短語second order predicate calculus 第二階述詞演算second -order predicate calculus [數]二階謂詞演算;翻譯second predicate calculus更多詞組專業(yè)釋義計算機科學技術第二階述詞演算