理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- centrifugal filtration of mineral processing products
- centrifugal flow tundish
- centrifugal force
- centrifugal force air classification equipment
- centrifugal force position
- centrifugal hydraulic classification equipment
- centrifugal inertia force
- centrifugal inertial force
- centrifugal instability
- centrifugal jig
- centrifugally driven wind
- centrifugal machine
- centrifugal mechanical supercharger
- centrifugal model test
- centrifugal overload test of SRM
- centrifugal potential
- centrifugal pump
- centrifugal pumps
- centrifugal refrigerator
- centrifugal seal
- centrifugal seed-metering device
- centrifugal separation
- centrifugal separation equipment
- centrifugal separation process of wastewater
- centrifugal separator