high order predicate calculus

英 [high order predicate calculus]
美 [high order predicate calculus]

中文释义

高阶述词演算

单词分析

单词结构：

high order predicate calculus

字母数：29

记忆提示

🎯 重点记忆：

  • 单词拼写：high order predicate calculus
  • 核心含义：高阶述词演算

最近查询：

aviamide-6 bellows-type card compass engawa every other day felicita fine mesh screen foredoing glomeroclastic linguistic elements macro-controls milertary protects regressive sub-department tofino transient vortex universal die weaponlike wrist chronometer

更新时间：2026-01-29 17:15:44