英语词汇“theorem-proving system”的中英文释义、用法、翻译及短语词组-英汉翻译词典-东流网

单词	theorem-proving system
释义	theorem-proving system [?θi?r?m ?pruv?? ?s?st?m] 释义 [计]定理证明系统行业词典计算机定理证明系统???
随便看	caledonias Caledonides Caledonii caledonite caledonized pre-cambrian caledon jade green Caledon, Mt. Caledonoid direction caledon purple r Caledon R. caledon red bn Caledon River caledon violet rn caledon yellow 3g caledon yellow g caledor caledors caleduct ca.lee calee calef Calef. calefacient calefacientia calefacients

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

theorem-proving system