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

单词	automated deduction system
释义	automated deduction system 简明释义自动演绎系统网络释义 1 ?自动演绎系统 automated deduction system 自动演绎系统详细? automated design engineering 自动设计工程详细? automated detection 自动检测详细? .. 双语例句 1 This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic. 给出了相干命题逻辑自然推理系统NR的自动证明算法。
随便看	Galician language Galician-Portuguese Galicians Galicia Galicja Galidor Galidzga Galien galiena Galifianakis Galigher tilting filter Galignani galik Galil Galilean Galilean binocular Galilean binoculars Galilean binocular telescope Galilean eyepiece galilean finder galilean frame of reference Galilean glass galilean glasses Galilean group Galilean invariance

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