英语词汇production system for theorem proving的读音、用法、中文释义、短语词组及例句-英汉双解词典

单词	production system for theorem proving
释义	production system for theorem proving 翻译定理证明的生产系统
随便看	quinolins quinolinyl quinolinyls quinolizidine quinolizidine alkaloid quinolizidines quinolizine quinolizines quinolizino quinolizinyl quinological quinologist quinologists quinology quinolone QUINOLONE ANTIBACTERIALS Quinolone Anti-Infective Agents quinolone resistence determing region quinolone resistence-determing region quinolones quinolor quinol phosphate quinols quinolyl quinolylamine

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