first order predicate calculus

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

中文释义

[计] 一阶谓词演算

单词分析

单词结构：

first order predicate calculus

字母数：30

记忆提示

🎯 重点记忆：

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

最近查询：

comeuppances complicity crystal fineness Daejeoncheon encryption technique epanutin free-spiriteds imminution irlene levelheadedness methoxycamptothecine minimizers nitreniums Petrosooccipital pile-sinking polyomaviruria preguntar ramped lighter setacea walk-ons

更新时间：2026-01-30 12:24:45