网站首页
词典首页
请输入您要查询的英文单词:
单词
theorem proving
释义
theorem proving
美
英
un.
定理证明
网络
定理证明法;定理证明方法;定理机器证明
英汉
un.
1.
定理证明
随便看
upper case
uppercase
uppercased
uppercases
upper casing
uppercasing
Upper Chamber
upper chamber
upper chambers
upper circle
upper circles
upper class
upper-class
upper classes
upper-classes
Upper Cretaceous
upper critical solution temperature
upper crust
upper-crust
upper culmination
uppercut
uppercuts
uppercutting
upper cyclone
upper deck
与民更始
与狐谋皮
与生俱来
与虎添翼
与虎谋皮
丑头怪脑
丑态毕露
丑态百出
丑类恶物
专心一志
专心一意
专心专意
专心致志
专心致意
专恣跋扈
专权乱政
专权弄政
专权擅势
专权误国
专横跋扈
专欲难成
专精覃思
专美于前
专门名家
世上无难事,只怕有心人
陆宏定《望湘人·记归程过半》原文及翻译注释_诗意解释
李白《秋浦感主人归燕寄内》原文及翻译注释_诗意解释
柳宗元《闻黄鹂》原文及翻译注释_诗意解释
吴文英《声声慢·咏桂花》原文及翻译注释_诗意解释
元好问《岐阳三首》原文及翻译注释_诗意解释
李白《出自蓟北门行》原文及翻译注释_诗意解释
李世民《还陕述怀》原文及翻译注释_诗意解释
诗经·国风《清人》原文及翻译注释_诗意解释
李白《奔亡道中五首》原文及翻译注释_诗意解释
诗经·小雅《六月》原文及翻译注释_诗意解释
王维《从军行·吹角动行人》原文及翻译注释_诗意解释
诗经·小雅《大东》原文及翻译注释_诗意解释
张巡《闻笛》原文及翻译注释_诗意解释
骆宾王《夕次蒲类津》原文及翻译注释_诗意解释
李白《北上行》原文及翻译注释_诗意解释
钱珝《江行无题一百首·其十二》原文及翻译注释_诗意解释
诗经·大雅《常武》原文及翻译注释_诗意解释
李商隐《赠别前蔚州契苾使君》原文及翻译注释_诗意解释
《杂曲歌辞·水调歌第一》原文及翻译注释_诗意解释
郎士元《送李将军赴定州》原文及翻译注释_诗意解释
李嘉祐《自常州还江阴途中作》原文及翻译注释_诗意解释
戎昱《塞下曲》原文及翻译注释_诗意解释
《战城南》原文及翻译注释_诗意解释
杜甫《潼关吏》原文及翻译注释_诗意解释
《十五从军行》原文及翻译注释_诗意解释
英汉词典包含292483条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 1984y.com All Rights Reserved
更新时间:2025/7/23 0:04:43