理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- Toad Without“Grandfather”
- to-and-fro movement
- TOA positioning
- Toarcian oceanic anoxic event
- Toarcian Stage
- Toaripi Lauti
- To Autumn
- tobacco
- tobacco acidic pyrophosphatase
- tobacco addiction
- tobacco anthracnose
- tobacco bacterial wilt
- tobacco black shank
- tobacco box dance
- tobacco brown spot
- tobacco bushy top disease
- tobacco etch virus disease
- tobacco flavor
- tobacco industry
- Tobacco Industry Handbook
- tobacco leaf storage
- tobacco mosaic virus
- tobacco mosaic virus disease
- tobacco mosaic virus,TMV
- tobacco necrosis virus,TNV