many-sorted predicate calculus

英 [many-sorted predicate calculus]
美 [many-sorted predicate calculus]

中文释义

多种类谓词演算

单词分析

单词结构：

many-sorted predicate calculus

字母数：30

记忆提示

🎯 重点记忆：

  • 单词拼写：many-sorted predicate calculus
  • 核心含义：多种类谓词演算

最近查询：

a Trojan horse Anredera aquae foeniculi bit assignment brake parachute cambell ciono- connectionisms electrotropic handstuff lymphadenitides minimum susceptance function PEPAP Pointe aux Trembles Proterotheriidae slurry packing technique sneak up on spiral phyllotaxy twincam undermassive star

更新时间：2025-12-10 00:26:05