first-order predicate calculus

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

中文释义

[计] 一阶谓词演算

单词分析

单词结构：

first-order predicate calculus

字母数：30

记忆提示

🎯 重点记忆：

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

最近查询：

AU(L)ANTIGEN Barthes damp heat test steady state doom-monger hoegauite (natrolite) lenzi out-issue reef knotted netting right bladed propeller wanying troches

更新时间：2025-03-17 12:30:19