theorem proving

英 [theorem proving]
美 [theorem proving]

中文释义

[计] 定理证明

单词分析

单词结构：

theorem proving

字母数：15

记忆提示

🎯 重点记忆：

  • 单词拼写：theorem proving
  • 核心含义：[计] 定理证明

最近查询：

chahil contemplational east southeasts flappergasts frequency multiplier half-stage hammerest have ... in common with Kobersdorf large scale problem libeled locomotive changing station manage about morality tale neurosarcokleisis position power racette Scylliorhinidae terrace-houses vector graphics

更新时间：2026-02-03 03:00:49