first-order predicate calculus

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

中文释义

[计] 一阶谓词演算

单词分析

单词结构：

first-order predicate calculus

字母数：30

记忆提示

🎯 重点记忆：

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

最近查询：

advertising costs apparencies biglycan franciscus general-purpose body Kirbister pchb percolation distance somnambulisme provoque Werner system crusher

更新时间：2025-03-16 21:00:53