理学 符号计算 释 mechanical theorem proving；automated theorem proving 定理机器证明 计算机科学与人工智能的分支，主要研究如何使用机器自动或者半自动地完成验证数学与逻辑定理是否为真的过程。
人工智能 自动推理 释文 automated theorem proving 自动定理证明
- gas dry dedusting of blast furnaceironmaking
- gas-dust cloud
- gas-dust complex
- gas-dust envelope
- gas-dust nebula
- gas dynamic cold spray
- [gas] dynamic laser
- gas dynamic laser
- gas dynamics
- gasdynamics
- gas electrode
- gas electron multiplier
- gas electron multiplier, GEM
- gas embolism
- gas emission
- gas emission from adjacent coal seams
- gas emission from goaf
- gas emission in mining seam
- gas engine-based distributed energy system
- gas envelope
- gaseous
- gaseous collapse
- gaseous conduction
- gaseous detector
- gaseousdetector