英语词汇“theorem machine prove”的翻译、意思、用法、释义-英汉双解词典-注文网

单词	theorem machine prove
释义	theorem machine prove [计] 定理机器证明
随便看	iteral iterance iterance, iterancy iterancy iterant iterate iterated iterated algorithm iterated algorithm decoding iterated clique graph iterated code iterated concatenation iterated contraction iterated dominance iterated electrical filter iterated extension iterated fission expectation iterated fission probability iterated function iterated game iterated integral iterated interpolation method iterated kernel iterated line graph iterated logarithm 诬善之人其辞游，失其守者其词屈诬善之人，其辞游。诬服之情，不可以折狱。诬神者殃及三世。语不压众，貌不惊人语不惊人死不休语不惊人，貌不压众语与兴驱，势逐情起，不由作意，气格自高。 (语云)、猛兽易伏，人心难降。语云:改过贵勇。既知有过，便当斩钢截铁，翻然改图。抚慰抚掌抚摩抚摸抚爱抚琴抚育抚膺抚触抚躬自问