high-order predicate calculus

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

中文释义

[计] 高阶谓词演算

单词分析

单词结构：

high-order predicate calculus

字母数：29

记忆提示

🎯 重点记忆：

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

最近查询：

Coyle Longitudinal Wrap multifunction system pseudo-matrix isolation rabit rule skeptics secundaxil Sekinomiya sentinel cells silent mesh

更新时间：2025-03-17 05:21:08