理学 符号计算 释 mechanical theorem proving；automated theorem proving 定理机器证明 计算机科学与人工智能的分支，主要研究如何使用机器自动或者半自动地完成验证数学与逻辑定理是否为真的过程。
人工智能 自动推理 释文 automated theorem proving 自动定理证明
- Preservation of historic center in Bruges
- Preservation of Historic Centre of Kraków
- preservation of leather collection
- preservation of length
- preservation of limits
- preservation of liquid preparations
- preservation of metallic collection
- preservation of obligation
- preservation of oil paintings
- Preservation of Old and New Towns of Edinburgh
- preservation of photographic data
- preservation of textiles
- Preservation of the Old City of Berne
- preservation & reformatting Section of American Library Association(PARS)
- preservation strategy
- preservation techniques of cultural relics
- preservation technology of agricultural products
- preservation wood
- preservative
- preservative of taxation
- preservative of timber structure
- preservative treated wood
- preservatize
- preservatory
- preserved context index