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