理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- group space
- group specification
- group spirit
- group structure
- group structure of an elliptic curve
- group style
- group symmetry
- group synchronization
- group system
- group table
- group teaching
- group technology
- group technology based layout
- group test
- Group Theatre
- group theorem
- group-theoretic
- group-theoretical
- group-theoretic function
- group-theoretic interpretation
- group-theoretic property
- group-theoretic transfer
- group-theoretic treatment
- group theory
- group theory (symmetry group theory)