网站首页
词典首页
请输入您要查询的英文单词：
单词
theorem proving
释义
theorem proving
美
英
un.
定理证明
网络
定理证明法；定理证明方法；定理机器证明
英汉
un.
1.
定理证明
随便看
bear claw
bear claws
bear coals
bear comparison with
Beard
beard
bear date
bearded
bearded clam
bearded collie
bearded darnel
bearded dragon
bearded dragons
bearded needle
bearded seal
bearded seals
bearded tit
bearded vulture
bearded vultures
bearder
beardfish
beardfishes
beard -grass
beardie
bearding
三好两怯
三好两歉
三好两歹
三妻四妾
三姑六婆
三媒六礼
三媒六聘
三媒六证
三宫六院
三寸不烂之舌
三寸之舌
三山五岳
三市六街
三平二满
三年五载
三心两意
三心二意
三思而行
三户亡秦
三拳两脚
三推六问
三教九流
三日两头
三日打鱼，两日晒网
三日新妇
无可比象的意思解释_无可比象的出处及成语典故
无可比伦的意思解释_无可比伦的出处及成语典故
武爵武任的意思解释_武爵武任的出处及成语典故
无拘无缚的意思解释_无拘无缚的出处及成语典故
无拘无碍的意思解释_无拘无碍的出处及成语典故
无旧无新的意思解释_无旧无新的出处及成语典故
无胫而走的意思解释_无胫而走的出处及成语典故
无胫而至的意思解释_无胫而至的出处及成语典故
无胫而来的意思解释_无胫而来的出处及成语典故
无精嗒彩的意思解释_无精嗒彩的出处及成语典故
无尽无穷的意思解释_无尽无穷的出处及成语典故
乌焦巴弓的意思解释_乌焦巴弓的出处及成语典故
无疆之休的意思解释_无疆之休的出处及成语典故
无间是非的意思解释_无间是非的出处及成语典故
无间可伺的意思解释_无间可伺的出处及成语典故
无间可乘的意思解释_无间可乘的出处及成语典故
无间冬夏的意思解释_无间冬夏的出处及成语典故
无坚不陷的意思解释_无坚不陷的出处及成语典故
无家无室的意思解释_无家无室的出处及成语典故
无家可奔的意思解释_无家可奔的出处及成语典故
乌集之众的意思解释_乌集之众的出处及成语典故
无稽之言的意思解释_无稽之言的出处及成语典故
乌集之交的意思解释_乌集之交的出处及成语典故
无为而成的意思解释_无为而成的出处及成语典故
舞文饰智的意思解释_舞文饰智的出处及成语典故
英汉词典包含292483条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。
Copyright © 2004-2022 1984y.com All Rights Reserved
更新时间：2026/6/14 22:39:59