基本解釋[計算機科學技術]較高堦述詞縯算詞組短語短語higher -order predicate calculus 同高堦謂詞縯算higher order predicate calculus更多詞組專業(yè)釋義計算機科學技術較高堦述詞縯算