理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- exploratory well category
- Explore Butterfly Dream Three Times
- Explorer
- explorer
- Explorer 11
- Explorer-1 satellite
- Explorer satellite
- exploring
- exploring and organizing the poem
- exploring coil
- Exploring Complexity
- exploring equipment
- Exploring the Limits of Preclassical Mechanics: A Study of Conceptual Development in Early Modern Science: Free Fall and Compound Motion in the Work of Descartes, Galileo, and Beeckman
- Exploring the Origin of Puppet Show
- exploring titles for publication
- explosibility
- explosion
- explosion action
- explosion and fire
- explosion burette
- explosion case crime scene investigation
- explosion chain reaction theory
- explosion effect of conventional weapons
- explosion focus
- explosion gas