英语词汇“production system for theorem proving”的意思、用法、释义、翻译、读音、例句、短语、词组-英汉翻译词典-复社网

单词	production system for theorem proving
释义	production system for theorem proving [计] 定理证明的产生式系统
随便看	dike footing dike for reservoirs dike furrow dike-grave dikegrave dikegulac dike keeper dikelet dike level sliding Dikelocephalocea Dikelocephalus dike lock dike maintenance Dikeman dike management dikembe dike mix Diken dike out dikephobia dikepond system dike-pond system dike-pond system landscape dikepond system landscape diker

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