自动定理证明
- 自动定理证明的英文
英语翻译
automatic theorem proving
拓展翻译
自动定寸机
automatic sizing apparatus自动定时器
auto-timer自动定位
autoregistration自动定心装置
self centering apparatus自动定序
automatic sequencing质量自动控制
automatic quality control智能办公室自动化系统
intelligent office automation system智能自动机
intelligent automation; intelligent automaton重力自动加料
gravity feed助记式自动程序设计
mnemonic automatic programming专用自动交换
private automatic branch-exchange专用自动交换分机
PABX; private automatic branch exchange转变自动测试设备
versatile automatic test equipment装配自动化
assembly automation
assembly automation资料自动化
data automation; datamation资料自动化处理
datmation子自动机
subautomaton自备自动交换机
private automatic exchange自定义自动筛选
custom autofilter自动
auto; automatism; of one's own accord; self-motion
augomatic; automated
aut-; auto-; automatic movement; automatism; spontaneous movement; telergy
