英语词汇automatic deduction怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	automatic deduction
释义	automatic deduction 简明释义自动演绎网络释义 1 [计]?自动演绎 ... 自动研究计算机 automatic research computer 自动演绎 automatic deduction 自动演绎技术 automatic deduction technique ... 短语 1 automatic deduction technique 计自动演绎技术 2 automatic deduction in nonstandard logics 非标准逻辑中的自动演绎 3 automatic type deduction of objects 对象自动类型推导双语例句 1 Record the whole design process with predicts, supplying interfaces to automatic deduction module. 以谓词的形式实时记录设计全过程，为后续自动推理模块提供接口。 2 On the ground of deduction, the paper chose a more serials of public key authentication protocols to use the tool SPV for automatic verification, and got expected results. 在进行公理推导的基础上，本文还利用工具SPV对更多的公钥认证协议进行了自动化验证，与协议推导取得了一致的验证结果。
随便看	cold precipitator cold precipitin cold precordial pain cold precursor cold preliming cold premixing cold prepressing cold prescription cold prescription for pyrosyndrome cold preservation cold press cold-press coldpress cold press bed cold press dewaxing cold-press die cold pressed cold-pressed cold-pressed and sintered bronze cold pressed and sintered bronze cold-pressed compact cold pressed compact cold pressed cotton seeds cold pressed essential oil cold pressed joint

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。