theorem-proving system
美式发音
英式发音
词典收录
英文单词: | theorem-proving system |
---|---|
中文翻译: | [计] 定理证明系统 |
词汇解析
[计] 定理证明系统
常见用法
theorem-proving system 的常见用法:
- theorem-proving systems
- theorem-proving system of
- theorem-proving systeming
最新更新单词
Bartholomewtide
bending tensile strength
Bocklemünd
budgies
controllable drilling parameter
eala
he-bear
immobility of capital
inseparabilities
mechanical repair shop
non-monetary assets and liabilities
patoulidou
Plasencia del Monte
radio sono buoy
sclerocele
small burner
speech-enhancement system
tantalum capacitor
Uryupinsk
Yangdong Folk Village
更新时间:2025-04-22 01:05:10