理学 计算复杂性 释 proof complexity 证明复杂性 证明复杂性（proof complexity）是计算复杂性的研究方向之一，它关注的是逻辑系统中命题的最短证明的长度。
理论计算机科学 可计算性与计算复杂性 释文 proof complexity 证明复杂性
- information input technology
- information integration
- information intelligence
- information intelligent agent service
- information intelligent processing
- Information Interaction Design
- Information & Interaction Design Committe
- information interactive behavior
- information island
- informationism
- informationizing investigation
- information labor
- information law
- information leakage
- information legal
- information level
- information library
- information lifecycle
- information life cycle management
- information literacy
- information literacy education
- information-lossless automaton
- information magnitude
- information maintenance of civil engineering
- information management