一阶谓词演算
new
一阶谓词演算的英文翻译
基本释义
first order predicate calculus
一阶谓词演算的相关资料:
临近单词
一
一个无情的人
目录
查词历史
英 汉