theorem prover

英 [theorem prover]
美 [theorem prover]

中文释义

定理证明程序

单词分析

单词结构：

theorem prover

字母数：14

记忆提示

🎯 重点记忆：

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

最近查询：

bass trumpet blackishness buysy commented decoctum cinchonae derived karyotype dromotron economic dispatch over-tube pemphigus betae pisga pud rendering equipment Riesz-Schauder theorem ship astern silica valve standard data interchange step pulley Total SA welcome to china

更新时间：2026-03-14 01:09:10