英语词汇mechanical theorem proving怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词

mechanical theorem proving

释义

mechanical theorem proving

简明释义

定理证明

网络释义

1
[计]?机器定理证明
同时，逻辑理论家也开创了机器定理证明(mechanical theorem proving)这一新的学科领域。1956年夏天，数十名来自数学、心理学、神经学、计算机科学与电气工程等各种领域的学者聚集在位于美国新罕布什...
2
?机器证明
... mechanical theorem proving 机器证明 mechanical tilt 机械倾斜, 机械仰角 mechanical time fuse 钟表引信 ...

短语

1
mechanical theorem-proving in geometry
几何定理机器证明
2
Mechanical geometry theorem proving
几何定理机器证明
3
mechanical geometric theorem proving
几何定理的机器证明

双语例句

1
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
2
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
3
Traditionally, Mechanical theorem proving often use a logic representation, and then inference, these methods lack of flexibility and the proving processes are difficult to understand.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。

随便看

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

单词	mechanical theorem proving
释义	mechanical theorem proving 简明释义定理证明网络释义 1 [计]?机器定理证明同时，逻辑理论家也开创了机器定理证明(mechanical theorem proving)这一新的学科领域。1956年夏天，数十名来自数学、心理学、神经学、计算机科学与电气工程等各种领域的学者聚集在位于美国新罕布什... 2 ?机器证明 ... mechanical theorem proving 机器证明 mechanical tilt 机械倾斜, 机械仰角 mechanical time fuse 钟表引信 ... 短语 1 mechanical theorem-proving in geometry 几何定理机器证明 2 Mechanical geometry theorem proving 几何定理机器证明 3 mechanical geometric theorem proving 几何定理的机器证明双语例句 1 The research in mechanical theorem proving has great significance in the theory and the practice. 定理机器证明的研究，在理论和实践上都具有重要的意义。 2 The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving. 几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。 3 Traditionally, Mechanical theorem proving often use a logic representation, and then inference, these methods lack of flexibility and the proving processes are difficult to understand. 传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。
随便看	yearner yearner yearn for yearnful yearnfully yearning yearningly yearning yearns yearn to yearn towards year of account year of assessment year of birth year of build year of completion year of delivery year of discretion year of drought year of entry year of grace year of grace survey year of installation year of issue year of manufacture