higher order predicate calculus

英 [higher order predicate calculus]
美 [higher order predicate calculus]

中文释义

[计] 高阶谓词演算

单词分析

单词结构：

higher order predicate calculus

字母数：31

记忆提示

🎯 重点记忆：

  • 单词拼写：higher order predicate calculus
  • 核心含义：[计] 高阶谓词演算

最近查询：

anaerobic Petri dish depth contour digital manufacturing finger-bowls floodwood Goleszów impact stake iodous acid IR receiver n-iamond over-representation propeller dome q-feel seal limbs statto the Persian Gulf threephase circuit vice chancellors Vinigon Ylikiiminki

更新时间：2026-01-31 05:12:49