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