theorem proving by resolution refutation

英 [theorem proving by resolution refutation]
美 [theorem proving by resolution refutation]

中文释义

按分解律反演的定理証明

单词分析

单词结构：

theorem proving by resolution refutation

字母数：40

记忆提示

🎯 重点记忆：

  • 单词拼写：theorem proving by resolution refutation
  • 核心含义：按分解律反演的定理証明

最近查询：

binary component by-catches caned it canned casecarbonizing day labour dissertation electroconvulsive therapies elnadipine endomycin episternal bone lanchara maitre d' mayorly population structure precedence grammar prefer someone's room to his company Streaky Bay uninstructiveness xenobiotics

更新时间：2026-01-29 23:03:11