理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- surface erosion
- surface error
- surface excess
- surface exposure dating
- surface extended X-ray absorption fine structure
- surface faring
- surface fatigue wear
- surface feet per minute 表面线速度「英尺
- surface fermentation
- surface field effect of semiconductor
- surface finishing technology of books and periodicals
- surface fire
- surface fitting
- surface flow
- surface flow constructed wetland
- surface flux
- surface force
- surface force apparatus
- surface force apparatus (SFA)
- surface free energy
- surface-free from singularities
- surface function
- surface functional coating
- surface functional group
- surface functionalization of polymer materials