理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- cestodiasis of fish
- cestodiasis of water fowl
- Cestos River
- Cesàro
- Cesàro curve
- Cesàro equation
- Cesàro fractal
- Cesàro mean
- Cesàro method of summation
- Cesàro summability
- Cesàro summation
- Cesàro summation method
- Cesàro theorem
- CET
- Cet
- CET-4，CET-6
- Cetacea (fossil)
- cetane index
- cetane number
- CETI
- Cetids
- cetin
- cetin; spermaceti wax
- CETP
- CETSA