production system for theorem proving

英 [production system for theorem proving]
美 [production system for theorem proving]

中文释义

[计] 定理证明的产生式系统

单词分析

单词结构：

production system for theorem proving

字母数：37

记忆提示

🎯 重点记忆：

  • 单词拼写：production system for theorem proving
  • 核心含义：[计] 定理证明的产生式系统

最近查询：

buttram circumcized coking heater David O Selznick endopredator final notice Gyles iso-amylethylbarbituric acid lay up contactor 2 nonaccepted odour nuisance oxymorphone population trend sinking hole erosion theoryof constant returns throw dust in sb's eyes under-funding unitary elasticity vin santo weakly-typed

更新时间：2026-02-03 02:39:20