theorem prover

英 [theorem prover]
美 [theorem prover]

中文释义

定理证明程序

单词分析

单词结构：

theorem prover

字母数：14

记忆提示

🎯 重点记忆：

  • 单词拼写：theorem prover
  • 核心含义：定理证明程序

最近查询：

anhydrous gypsum plaster asbestos ring attended to baby step daily conversations DAT eccentric-press fasciotomy Filatow-Dukes disease float capital gastromycete grain cleaning-optioning machine heart-breaking Ilex estriata impregnating trough infectious catarrh microbrewer nonlinear or nonlinear and stable law velocity modulated tube

更新时间：2026-03-14 00:38:12