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