鲁虺汉英词典
输入关键词：
推荐：
人文
文化
传媒
LUHUI OS
语言翻译
鲁虺汉英词典
/ 一阶谓词演算 【计】 first order predicate calculus; first-order predicate calculus
上一个
查看全部
下一个
一阶谓词演算 【计】 first order predicate calculus; first-order predicate calculus
