理学 符号计算 释 mechanical theorem proving；automated theorem proving 定理机器证明 计算机科学与人工智能的分支，主要研究如何使用机器自动或者半自动地完成验证数学与逻辑定理是否为真的过程。
人工智能 自动推理 释文 automated theorem proving 自动定理证明
- sodium caseinate
- sodium channel
- sodium channel blockers
- sodium chlorate
- sodium chloride
- sodium chloride structure
- sodium chloride structure, NaCl structure
- sodium-cooled fast breeder reactor chemistry
- sodium-cooled fast reactor
- sodium cyanide
- sodium cyanoborohydride
- sodium dichromate
- sodium diethyl dithiocarbamate
- sodium dihydrogen phosphate
- sodium diisobutyl dithiophosphinate
- sodium diphenylaminesulfonate
- sodium diphosphate
- sodium discharge lamp
- sodium disilicate
- sodium disillicate
- sodium D-line
- sodium dodecyl sulfate
- sodium dodecyl sulfonate method
- sodium doublet lines
- sodium ferrate