网站首页
词典首页
请输入您要查询的英文单词:
单词
theorem proving
释义
theorem proving1.■【人工智能】定理验证,定理证明
随便看
ill at ease
illation
illative
illaudable
Illawarra 1
Illawarra 2
Illawarra (dairy) shorthorn
I'll be!
I'll be a monkey's uncle!
I'll be bound.
I'll be damned if I…
ill-behaved
ill-being
I'll be seeing you.
I'll be seeing (或 see) you.
I'll be see you.
I'll be shot if…
I'll bet my life.
I'll be (或 I am) a monkey's uncle!
I'll be(或I'm)damned if I…
ill blood
ill-boding
ill-bred
ill breeding
I'll buy that.
尊前巾帽时敧仄
想像切云高,晓日罗昏雾
丈人丈人听我语,我语憔悴空啾嘈
安得大明如火烈,坐令鼠辈消春雪
其子嗣,以五色染就,不见笔迹,谓之没骨
江腹远吞千壑翠,峡门高控两崖苍
舒稊与吐芽,青意弗自闲
耳有姻缘能听事
更深何物可浇书,不用香醅用苦茗
不是遗文能动我,谁令吊古便沾襟
题义门胡氏华林书院
雩祭礼成述事
寄罗浮山道者二首
感怀寄友人·其二
廉州·其三
逻娑
卒章
骛逐
月落参横
月胁
英汉词典包含323790条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 Suppus.net All Rights Reserved
更新时间:2025/3/15 4:40:45