理学 符号计算 释 mechanical theorem proving；automated theorem proving 定理机器证明 计算机科学与人工智能的分支，主要研究如何使用机器自动或者半自动地完成验证数学与逻辑定理是否为真的过程。
人工智能 自动推理 释文 automated theorem proving 自动定理证明
- Gunapala Piyasena Malalasekera
- Gunboat diplomacy
- Gunbu
- Gun Control Act
- guncreting
- Gundam series
- Gundan Clepsydra
- Gun Diao,opera singing style system
- Gundula Janowitz
- gunfire control radar
- gunfire vibration test
- Gungsangnorbu
- Gung thang Bstan pa'i sgron me
- Guniangge
- gunite machine
- Guniujiang nature reserve
- Guniutan Formation
- gunjet
- Gun ma-ken
- Gun man
- Gunnar Fant
- Gunnar Gunnarsson
- Gunnar Heiberg
- Gunnar Jarring
- Gunn device