英语词汇“Theory machine proving”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	Theory machine proving
释义	Theory machine proving 基本例句定理机器证明 The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
随便看	express indignation at express industry express information expressing Expressing ability Expressing a duration of time expressing agreement expressing ambition Expressing An Apology Expressing a wish or choice Expressing a wish or permission expressing benefit Expressing coefficient Expressing concession Expressing concession,as the conjunction though expressing condition expressing conditions expressing deep personal emotion Expressing disapproval or criticism Expressing disapproval or hostility Expressing dislikes at a drop of a hat expression art expression as bound or length expressing emotion expressing emotion and talents