基本解释[计算机科学技术]第二阶述词演算词组短语短语second order predicate calculus 第二阶述词演算second -order predicate calculus [数]二阶谓词演算;翻译second predicate calculus更多词组专业释义计算机科学技术第二阶述词演算