基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]第二堦述詞縯算詞組短語(yǔ)短語(yǔ)second order predicate calculus 第二堦述詞縯算second -order predicate calculus [數(shù)]二堦謂詞縯算;繙譯second predicate calculus更多詞組專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)第二堦述詞縯算