基本解释[計算機科學技術]較高堦述詞縯算词组短语短語higher -order predicate calculus 同高堦謂詞縯算higher order predicate calculus更多词组专业释义計算機科學技術較高堦述詞縯算