理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- Chinese Authors Association
- Chinese aviation press
- Chinese Badminton Association
- Chinese bahaba
- Chinese Ballads
- Chinese Ballad Singers Association
- Chinese Baroque Historical Cultural Preservation Areas
- Chinese Baseball Association
- Chinese Basketball Association
- Chinese bayberry
- Chinese Bible versions
- Chinese Big Five Personality Inventory
- Chinese Billiards & Snooker Association
- Chinese black olive
- Chinese black soft-shelled turtle, Pelodiscus sinensis nigrum
- Chinese block printing technology
- Chinese Bocce Association
- Chinese Bodybuilding Association
- Chinese Book Cataloguing Law
- Chinese Book Classification
- Chinese Book Review Monthly
- chinese books and materials classification
- Chinese Bowling Association
- Chinese box
- Chinese Boxing Federation