theoremproving system
美式发音
英式发音
词典收录
| 英文单词： | theoremproving system |
|---|---|
| 中文翻译： | [计] 定理证明系统 |
词汇解析
[计] 定理证明系统
常见用法
theoremproving system 的常见用法：
- to theoremproving system
- theoremproving system of
- the theoremproving system
最新更新单词
algorithmic diagram
amount of an annuity due
basic copper chloride
bootblack
Carpenteria californica
depreciation factor
diazetane
free coalesced cementite
greensand molding
harvison
hemisphaerium cerebelli
light benzole
meso-form
originate with one of the clients
outline drawing
platform sill
pointed tail
revised estimate
transfusion tube for medical use
ultimacies
更新时间：2025-08-03 15:58:20