网站首页
词典首页
请输入您要查询的英文单词：
单词
theorem proving
释义
theorem proving
美
英
un.
定理证明
网络
定理证明法；定理证明方法；定理机器证明
英汉
un.
1.
定理证明
随便看
sedum
sedums
see
seeable
see about
see action
see a doctor
see after
see a lot of
see a red light
see a wolf
Seebeck coefficient
seebeck coefficient
Seebeck effect
see beyond
seecatch
seed
seedage
see daylight
seed bank
seedbed
seedbeds
seed beetle
seed beetles
seed bud
多病多愁
多艺多才
多藏厚亡
多行不义
多行不义，必自毙
多见广识
多谋善断
多谋足智
多财善贾
多闻为富
多闻阙疑
多难兴邦
多难多灾
夜不成寐
夜不成眠
夜不能寐
夜不闭户
夜以接日
夜以继日
夜以继昼
夜住晓行
夜半三更
夜半更深
夜宿晓行
夜深人静
鲁教版七年级上册音乐电子课本教材（五四学制）
鲁教版六年级上册音乐电子课本教材（五四学制）
鲁教版六年级上册美术电子课本教材（五四学制）
鲁教版七年级上册美术电子课本教材（五四学制）
鲁教版八年级上册美术电子课本教材（五四学制）
鲁教版九年级上册美术电子课本教材（五四学制）
鲁教版九年级下册美术电子课本教材（五四学制）
鲁教版八年级下册美术电子课本教材（五四学制）
鲁教版七年级下册美术电子课本教材（五四学制）
鲁教版六年级下册美术电子课本教材（五四学制）
鲁教版六年级下册数学电子课本教材（五四学制）
鲁教版七年级下册数学电子课本教材（五四学制）
鲁教版八年级下册数学电子课本教材（五四学制）
鲁教版九年级下册数学电子课本教材（五四学制）
鲁教版九年级上册数学电子课本教材（五四学制）
鲁教版八年级上册数学电子课本教材（五四学制）
鲁教版七年级上册数学电子课本教材（五四学制）
鲁教版六年级上册数学电子课本教材（五四学制）
人教统编版六年级上册数学电子课本教材（五四学制）
人教统编版七年级上册数学电子课本教材（五四学制）
人教统编版八年级上册数学电子课本教材（五四学制）
人教统编版九年级上册数学电子课本教材（五四学制）
人教统编版九年级下册数学电子课本教材（五四学制）
人教统编版八年级下册数学电子课本教材（五四学制）
人教统编版七年级下册数学电子课本教材（五四学制）
英汉词典包含292483条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。
Copyright © 2004-2022 1984y.com All Rights Reserved
更新时间：2026/1/22 16:35:50