带等式谓词演算
new
带等式谓词演算的英文翻译
基本释义
predicate calculus with identity
带等式谓词演算的相关资料:
临近单词
带
带内衰减波动
目录
查词历史
英 汉