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