high order predicate calculus

[high order predicate calculus]
[high order predicate calculus]

中文释义

高阶述词演算

单词分析

单词结构:

high order predicate calculus

字母数:29

记忆提示

🎯 重点记忆:

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