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

词汇	Theory machine proving
释义	Theory machine proving 基本例句定理机器证明 The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
随便看	writ of a right writ of assistance writ of assize writ of attachment writ of attaint writ of execution writ of extent writ of false judgement writ of false judgment writ of fieri facias writ of formedon writ of garnishment writ of habeas corpus writ of habeas corpus ad subjiciendum writ of habeas corpus ad testificandum writ of injunction writ of inquiry writ of judge writ of mainprise writ of mainprize writ of mandamus writ of mesne writ of possession writ of prevention writ of privilege