网站首页
词典首页
请输入您要查询的英文单词:
单词
theorem proving
释义
theorem proving1.■【人工智能】定理验证,定理证明
随便看
anthelic arc
anthelion
anthelix
anthelmintic, anthelminthic
anthem
anthema
anthemion
anthemis
anther
antheraxanthin
anther culture
antheridiophore
antheridium
antheriferous
antherozoid
anther smut
anthesis
anthrasilicosis
anthrax
anthraxolite
anthraxylon
Anthribidae
anthro
anthroarchaeologist
anthrone
肃敞芝坛大面峰,拟凭方寸逆璇穹
逸兴应须效皎然,此生潇洒老诗禅
篱落轻寒整顿新,雪晴步屣会诸邻
出门重稽首,愿值下生辰
昨年浮玉景,南北岂殊诸
夏木无重数,森阴翠樾低
尘心自觉销来尽,共拟移尊更一扳
五谷前熟方可为,下车闭閤君当思
斗酒无因相活酹,朔风东望涕潸然
愿作掣拨鬼,入家偷吃饱
定林寺
僧慧僧利同往南山
小亭落成都官有诗次韵以谢
徽州叶司理送冬笋
和章质夫成都运司园亭诗水阁
和汉东先生韵六首
白玉楼步虚词(六之三)
送王考功江东漕
念弥陀颂·其六
道间所见
狂飇
挂帙
鸷鹗
请祷
工人士
滑鬼
青要女
盖覆
一托气
酝藉
淆
啸
崤
萧
焇
猇
硣
窙
痚
痟
闷
免
麦
芈
玛
汨
没
沔
沐
呒
分星擘两
反躬自责
弗欺暗室
富贵功名
富贵寿考
拊背搤吭
焚香顶礼
父母国
风行电击
烦天恼地
临别赠言
临川羡鱼
狼子兽心
蛮烟瘴雨
莫逆于心
名山胜川
买方
糜费
没可奈何
马工枚速
邓析
虞
鲜艳夺目
翰林侍讲
石元孙
举直措枉
朱模
朱耀
朱廷声
朱常浩
势的成语_带势字的成语_势的成语有哪些
逊的成语_带逊字的成语_逊的成语有哪些
嗷组词_嗷字怎么组词_嗷组词有哪些_带嗷字的词语
嚱组词_嚱字怎么组词_嚱组词有哪些_带嚱字的词语
鹤组词_鹤字怎么组词_鹤组词有哪些_带鹤字的词语
纔组词_纔字怎么组词_纔组词有哪些_带纔字的词语
踣组词_踣字怎么组词_踣组词有哪些_带踣字的词语
赈组词_赈字怎么组词_赈组词有哪些_带赈字的词语
啁组词_啁字怎么组词_啁组词有哪些_带啁字的词语
赴的成语_带赴字的成语_赴的成语有哪些
英汉词典包含323790条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 Suppus.net All Rights Reserved
更新时间:2026/4/6 20:19:34