理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- theatre at Yisu Society
- Theatre Bill
- Theatre Company
- theatre empowerment
- Theatre for Development
- Theatre Guild
- Theatre in Almonte, Spain
- theatre in the Temple to the God of Mount Tai of Yedi Village,Zezhou County
- Theatre Journal
- theatre management
- theatre manager
- theatre missile defense
- Theatre Monthly
- Theatre of Chengdu Sichuan Opera Art Center
- theatre of cruelty
- theatre of Democratic Republic of Germany
- Theatre of Dionysus
- Theatre of Dionysus in Athens
- Theatre of Epidaurus
- theatre of Federal Republic of Germany
- theatre of sources
- Theatre of the Oppressed
- Theatre Opusculum Drama Course
- Theatre Participation
- Theatre Periodical