网站首页
词典首页
请输入您要查询的英文单词:
单词
theorem proving
释义
theorem proving1.■【人工智能】定理验证,定理证明
随便看
diplexer
diplex operation
diplex reception
diplo-
diplobacillus
Diplobathrida
diplobiont
diploblastic
diploblastula
diplocardiac
Diplocarpon
diplochromosome
dip-locker
diplococcal
diplococcic
diplococcocci
diplococcus
Diplococcus
Diplodinium
diplodocus
diploe,diploë
diploetci
dip log
Diplogasteroides
diploglossate
耕牧犹能力,痴顽每自惊
明晨拟回棹,乡思恨风波
宝镜挂秋水
渐使犬羊归畎亩,方知雨露遍华戎
大干所限气候异,南界递暖北界凉
我亦领其意,呼儿具杯盘
破故纸堆鑽不透,可怜业识日茫茫
八面透玲珑,明标内外空
罗网难投足,锥刀渐削肌
直干不偃蹇,爽气何飘萧
和李白浔阳紫极宫感秋
米黻云山图
边上行
归思
□□□(同前)
西直门外作·其二
影湖楼
晓出城祀风师坛马上作
示村医
送韩持正寺丞知余姚
仲雅
仲明
仲吕
仲由
仲思枣
仲豫
仲舅
仲长
低能儿
天梁
岧
岹
庣
恌
挑
宨
祒
脁
晀
朓
痀
绠
倌
高
郭
羔
胱
鸪
耕
胳
横槊赋诗
虎毒不食儿
干戈满目
澌灭无闻
栾巴噀酒
不识抬举
不壹而三
不择生冷
不探虎穴,安得虎子
不知人间有羞耻事
张开
暂时
糟
阻碍
自私自利
坐卧不安
专门
战无不胜
直率
峥嵘岁月
跬步不离
万头攒动
朱翊镠
朱能
朱松
拜井
朱百年
驿山
日讲起居注官
随物应机
凋组词_凋字怎么组词_凋组词有哪些_带凋字的词语
皿组词_相关词解释造句_皿字组词
谢的成语_带谢字的成语_谢的成语有哪些
踣组词_踣的拼音含义_组词造句解释_踣字的组词
瞽的成语_带瞽字的成语_瞽的成语有哪些
歉的成语_带歉字的成语_歉的成语有哪些
剖开头的成语_第一字是剖的成语有哪些
期的成语_带期字的成语_期的成语有哪些
六组词_六字怎么组词_六组词有哪些_带六字的词语
侮结尾的成语_最后一个字是侮的成语
英汉词典包含323790条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 Suppus.net All Rights Reserved
更新时间:2026/10/6 11:45:22