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

单词	automatic theorem proving
释义	automatic theorem proving [计] 自动定理证明
随便看	motor delay sequencer motor delivery van motor depot motor development motor disorder motor disturbance motordom motor dom motor dory motordrawn motor drawn motor drill motordrive motor drive motor-drive motor drive asphalt pump motor drive blower motor drive circuit motor drive lathe motor-drive lathe motor-drive mechanism motor driven motordriven motor-driven motor driven auger 家无常礼家无应门五尺之童家无恒兆，敦书者兴；国无恒运，怜才者胜家无担石，囊乏一文家无担石，室若悬磬家无犯法之男，门无再嫁之女家无生活计，不怕斗量金家无立锥之地家无立锥，粮乏隔宿家无营活计，不怕斗量金。メガケルメガシラメガトンメガトン［megaton］メガネメガネバシメガバイトメガバイト［megabyte］メガバンクメガバンク［megabank］