网站首页
词典首页
请输入您要查询的英文单词：
单词
theorem proving system
释义
theorem proving system
网络
定理证明系统
网络释义
1.
定理证明系统
... 定理证明机 theorem proving machine
定理证明系统
theorem proving system
使用分解律的定理证明 use of resolution ...
www.docstoc.com
例句
释义:
定理证明系统
随便看
attenuation coefficient
attenuation coefficients
attenuation comparator
attenuation compensation
attenuation compensator
attenuation constant
attenuation constant
attenuation correction
attenuation correlation method
attenuation cross-section
attenuation cross section
attenuation current
attenuation curve
attenuation cutoff wavelength
attenuation decrement
attenuation degree
attenuation distance
attenuation distortion
attenuation drawing effect
attenuation effect
attenuation equalization
attenuation equalizer
attenuation equivalent
attenuation equivalent nettiness
attenuation factor
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/8/14 16:09:41