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
  • 核心含义：[计] 定理证明的产生式系统

最近查询：

alkylsilyl halide antichymosin average number of days to turnover bistriazole chemical injection truck eddy mill powder filter inductor functional redundancy gas gravimeter gazehound Göllheim hypersensibilities Indian spring low water Kirindo Mann Thomas National Advisory Committee for Aeronautics pitavastatin roentgen-equivalent-physical second wind wash ore

更新时间：2026-02-02 06:40:53