理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- signal/noise ratio
- signal orthogonal transform
- signal output
- signal parameter estimation
- signal parameter measurement
- signal peptidase
- signal peptide
- signal peptide; leader peptide
- signal peptide prediction
- signal phase spectrum
- signal power spectrum estimation
- signal process
- signal processing
- signal-processing antenna
- signal recognition particle
- signal reconstruction
- signal resolution
- signal scaffold protein
- signal screen
- signal sequence
- signal's gaussian characteristics
- signals of agrometeorological disaster prewarning
- signal source
- signal space
- signal statistics analysis