theorem prover
美式发音
英式发音
词典收录
| 英文单词： | theorem prover |
|---|---|
| 中文翻译： | 定理证明程序 |
词汇解析
定理证明程序
常见用法
theorem prover 的常见用法：
- the theorem prover
- theorem prover of
- theorem provering
最新更新单词
Alajja anomala
automatic skip
blurbing
borellis
conceptual data base design methodology
costalia
genetic computing
hybrid fet/bipolar cascade front end
kiriboto (nigeria)
lateral tee
nominal ledgers
overflow groove
perspiringly
pump pressure gauge
red contracted kidney
saturation of inert gas
stichodactylids
toose
two-shot grouting
visual detection method
更新时间：2025-04-22 11:44:22