理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- urogenital system
- urogenital system of liveustock
- urogomphus
- urohyal bone
- urohypophysis
- urokinase
- urolithiasis
- urology
- urology anorectal clamp
- urology anorectal hook & needle
- urology anorectal scissors
- urology anorectal surgical operation instrument
- uronic acid
- uropepsin
- uropepsinogen
- uropoda
- uropodite
- uroporphyrin
- uroproct
- uropygial gland
- urorectal septum
- uroscopy
- urostyle
- urotoxin
- urotropin