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

词汇	Theory machine proving
释义	Theory machine proving 基本例句定理机器证明 The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
随便看	对氨基水杨酸对氨基水杨酸异烟肼对氨基水杨酸的对氨基水杨酸维生素C合剂对氨基水杨酸苯酯对氨基水杨酸钙对氨基水杨酸钙片对氨基水杨酸钙铝对氨基水杨酸钠对氨基水杨酸钠片对氨基水杨酸钠肠溶片对氨基水杨酸钾对氨基甲苯对氨基甲酸苄基苯酯对氨基联苯对氨基苄基对-氨基苄基乙二胺四乙酸对氨基苄青霉素对氨基苯丙酮对氨基苯乙酮对氨基苯乙醚对氨基苯乙醚柠檬酸对氨基苯二氯砷化三氢对氨基苯基砷酸盐对氨基苯弟酸