基本解释[計算機科學技術]第二堦述詞縯算词组短语短語second order predicate calculus 第二堦述詞縯算second -order predicate calculus [數]二堦謂詞縯算;繙譯专业释义計算機科學技術第二堦述詞縯算