理学 符号计算 释 mechanical theorem proving；automated theorem proving 定理机器证明 计算机科学与人工智能的分支，主要研究如何使用机器自动或者半自动地完成验证数学与逻辑定理是否为真的过程。
人工智能 自动推理 释文 automated theorem proving 自动定理证明
- total digestible nutrients
- total dimension
- total discharge rate
- total disconnectedness
- total discontinuity
- total dispersion
- total dissolved solids/mineralization
- total distribution coefficien
- total dominating set
- total dose radiation effect
- total eclipse
- total eclipse beginning
- total eclipse end
- total eclipse of the moon
- total eclipse of the sun
- total economic value method
- total-effective
- total elastic cross-section
- total emission control system of key pollutants
- total endomorphism
- total energy
- total energy consumption
- total energy distribution of fission fragments
- total energy peak
- total environmental standards