first order predicate calculus
first order predicate calculus是什么意思、first order predicate calculus怎么读
【计】 一阶谓词演算
first order predicate calculus汉语翻译
【计】 一阶谓词演算