定理机器证明 Automated theorem proving
（重定向自Automatic theorem proving）
定理机器证明（Automated theorem proving，简称ATP）目前是自动推理（Automated reasoning，简称AR）体系中发展最好的部分，它的目的是为使用电子计算机进程来进行数学定理的证明。对于不同的数学逻辑，它能够推论出一个定理是正确的，还是不可证明的，或者错误的。
Automatic theorem proving
中文百科
英语百科
Automated theorem proving 定理机器证明
（重定向自Automatic theorem proving）
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.
- identification of chromosomes的意思
- identification of clones的意思
- identification of color test的意思
- identification of control points的意思
- identification of corpse的意思
- identification of dangerous goods的意思
- identification of data的意思
- identification of data related international conventions的意思
- identification of dead的意思
- identification of event的意思
- identification of evidence的意思
- identification of fiber的意思
- identification of fibre的意思
- identification of fingerprint的意思
- identification of fishing vessel的意思
- identification of forgings的意思
- identification of fragments of tissue的意思
- Identification of friend or foe的意思
- identification of friend or foe, IFF的意思
- identification of goods的意思
- identification of ground and sky waves的意思
- identification of human remains的意思
- identification of hydrocarbons的意思
- identification of immature fetus的意思
- identification of immature infant的意思