>
一阶谓词演算
词语: 一阶谓词演算
解释: first order predicate calculus
词典: 经贸专业汉英词典
一阶谓词演算 相关解释
first order predicate calculus 一阶谓词演算