网站首页
词典首页
请输入您要查询的英文单词:
单词
theorem proving
释义
theorem proving1.■【人工智能】定理验证,定理证明
随便看
on (或 upon) one's mind
on (或upon) one's (或 its) last legs
on (或upon)receipt of
on (或upon) request
on (或 upon) second thought(s)
on (或 upon) sufferance
on(或upon) the anvil
on (或upon) the face of
on(或upon)the gad
on (或upon) the hip
on (或 upon) (the) liking
on (或upon) the listen
on (或 upon) the lookout
on (或 upon) the mend
on (或 upon) the moment
on (或 upon) the point of doing something
on (或 upon) the sneak
on(或 upon) the tapis
on (或 upon) the tiles
on (或 upon) the water
on (或 upon) the whole
on (或upon) tick
o-o
oo-
O,o
奚用称珍也,由来视此夫
驱驰三楚掾,倏忽一空名
银河迢递,种玉群仙,共骖鸾鹤
海棠半折春方好,杨柳都青社正寒
隔墙人笑声
前山遽已净,阴霭夜来歇
又被人来寻讨著,移庵不免更深居
阑槛中流出,炎蒸白昼消
园林红橘柚,窗户碧潇湘
谁知孀妇拭泪痕,为夫筑坟松树根
和昭默堂五首·其三
垂虹亭观打鱼斫鱠四首
酬李丹徒见赠之作
偈倾一百三十三首
早饭后戏作
説乐
悬途
雍容雅步
墝瘠
墝垤
英汉词典包含323790条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 Suppus.net All Rights Reserved
更新时间:2025/5/25 4:14:58