many-sorted predicate calculus

英 美
  • 多种类谓词演算

many-sorted predicate calculus的相关资料：

临近单词

many manyvalued
目录 查词历史