英语词汇“theoremproving system”的中英文释义、用法、翻译及短语词组-英汉翻译词典

单词	theoremproving system
释义	theoremproving system 释义 [计] 定理证明系统
随便看	runner boss runner box runner boxing runner brick runner bulb runner bush runner chain runner chamber runner channel runner cloth runner collar runner cone runner core runner crew runner crown runner cup runner cut runner decompression plate runner design runner diameter runner diameter of hydraulic turbine runner diameter of hydroturbine runner disc runner disk runner duck

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