theoremproving
美：[´θiərɪmprəʊvɪŋ] 英：[´θiərɪmprəʊvɪŋ]
中文翻译
[计] 定理证明
网络解释
定理证明法; 定理证明方法; 定理机器证明
其他单词翻译
| 英文单词 | 中文含义 |
|---|---|
| pseudoencephalitis | 假脑炎 |
| pseudoglaucoma | 假青光眼 网络解释 假绿内障 |
| pseudofracture | 假骨折 网络解释 自发性骨折 |
| pseudofever | [医] 假热 |
| pseudoesthesia | 假感觉 网络解释 假感觉 |
| pseudoendogenous | 假内生的 |
| pseudoglauroma | [医] 假青光眼 |
| pseudofront | 假锋, 假波前 网络解释 假锋面 |
| pseudofibrin | n.副纤维蛋白原 |
| pseudoendometritis | [医] 假[性]子宫内膜炎 网络解释 假子宫内膜炎 |
| pseudoestrus | n.假发情 |
| pseudogley | n.假潜育土 网络解释 假潜育; 伪潜育; 坚壤土 |
| pseudofilament | n.假丝体 |
| pseudoganglion | [医] 假神经节 |
| pseudoeutectic | n.伪共晶 网络解释 赝共晶; 伪共晶体; 假共结的 |
| pseudoeosinophil | [医] 假[性]嗜曙红的, 假[性]嗜酸性的 网络解释 粒细胞 |
| pseudoglioma | n.假神经胶质瘤 |
| pseudogaster | 假胃 |
| pseudoephedrine | n.伪麻黄碱（可解除鼻腔充血的药物） 网络解释 伪麻黄素; 伪麻黄硷; 假麻黄硷 |
| pseudoexophoria | [医] 假性外隐斜视 |