theoremproving
美：[´θiərɪmprəʊvɪŋ] 英：[´θiərɪmprəʊvɪŋ]
中文翻译
[计] 定理证明
网络解释
定理证明法; 定理证明方法; 定理机器证明
其他单词翻译
| 英文单词 | 中文含义 |
|---|---|
| bolland | n.博朗（比利时地名） 网络解释 博兰德; 比利时; 博尔兰特 |
| bollman | n.（Bollman）人名；（英、瑞典）博尔曼 网络解释 德国人波尔曼 |
| bolo | n. （菲律宾人及美军砍伐用的）大刀 网络解释 宝路; 大刀; 波洛领带 |
| boloney | n. 荒谬，胡扯 |
| bollard | n. （行人安全岛的）短柱，护柱；（船上或码头上的）系船柱 网络解释 系船柱; 护柱; 伯拉德 |
| bollo | n.豌豆粉油煎饼 网络解释 播乐视界; 气鼓; 机播乐 |
| bologna | n. 一种大腊肠 网络解释 波洛尼亚; 博罗尼亚; 波伦亚 |
| bolos | n. （菲律宾人及美军砍伐用的）大刀( bolo的名词复数 ) 网络解释 大刀; 白劳斯; 伯罗斯 |
| bolstad | n.博尔斯塔德（瑞典地名）；博尔斯塔（挪威地名） 网络解释 塔德 |
| bolle | n.（Bolle）人名；（法、德、挪、瑞典）博勒；（西）博列；（意）博莱 网络解释 葆旎; 宝雷; 波尔 |
| bollock | vt. 臭骂 网络解释 睾丸; 臭骂; 英国俚语臭骂 |
| boloscope | n.金属异物探测器 网络解释 金异物探测器 |
| bolster | vt. 支持；支撑；鼓励；援助 n. 长枕；垫枕；衬垫；支持物 网络解释 支持; 长枕; 支撑 |
| bollen | n.（Bollen）人名；（德、瑞典、英）博伦 网络解释 博伦; 波地斯岛和附近的波兰; 布伦 |
| bollocking | n. 臭骂 网络解释 严厉训斥 |
| bolognesi | n.（Bolognesi）人名；（西、意、英）博洛涅西 |
| bolstered | v. 支持( bolster的过去式和过去分词 )；支撑；给予必要的支持；援助 网络解释 凭籍; 带动; 有承梁 |
| bollenbach | n.博伦巴克 网络解释 博伦巴赫; 博伦巴克 |
| bols | abbr. bolster 软垫，垫木，车架承梁 网络解释 波尔斯; 波士; 波士力娇酒 |
| bollocks | n. 胡说 网络解释 蠢货; 胡扯; 东西是不正确的 |